{"entities":{"Q59626085":{"pageid":59521602,"ns":0,"title":"Q59626085","lastrevid":2409063126,"modified":"2025-09-25T05:43:21Z","type":"item","id":"Q59626085","labels":{"en":{"language":"en","value":"Action systems, unbounded nondeterminism, and infinite traces"},"nl":{"language":"nl","value":"Action systems, unbounded nondeterminism, and infinite traces"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0441\u0456\u0447\u043d\u0456 1995"},"de":{"language":"de","value":"im Jahr 1995 ver\u00f6ffentlichter wissenschaftlicher Artikel"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 1995"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"97dd9afac2b7226c75b5b0870e716536dfa76101","datavalue":{"value":"10.1007/BF01214622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59626085$B6A91B8B-61EA-41FE-8DAE-7745E9AC08A7","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59626085$E749A68B-37A5-4436-948B-F81C0F860DA8","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"dabf4f5dc10c325d2343bd0fa9615e9d3bc9af18","datavalue":{"value":{"text":"Action systems, unbounded nondeterminism, and infinite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59626085$4B93A002-EDC3-400F-A8AE-BACE2EB75DC9","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q59626085$D6C17AD0-1D2D-454A-A85C-6DC3C2BACDA1","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"0fac79e68d47fe8f25504680a6eda7f9fea0e7d7","datavalue":{"value":"37-53","type":"string"},"datatype":"string"},"type":"statement","id":"Q59626085$15BA7031-485B-4565-B11E-CC031542D20D","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"ebae015dda839a12e8926ee3601e5a040bc3775d","datavalue":{"value":"7","type":"string"},"datatype":"string"},"type":"statement","id":"Q59626085$3E2FD432-4A79-48E1-8813-66FBE0BD5EF1","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"df67638c6448ed0743aaf892eda9480dc7c8b8fc","datavalue":{"value":{"time":"+1995-01-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59626085$E1A252E8-5836-4CDC-9496-2F1FB9696DE6","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"bfa4250cd38d7b34c0cabf97d1c471c7f33e73a4","datavalue":{"value":{"entity-type":"item","numeric-id":5469945,"id":"Q5469945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59626085$371F8C87-E8C3-4F09-9F86-C9A970A6FA77","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9180e5f31f0dad75efa3bf49c1dc17862003b141","datavalue":{"value":"Michael Butler","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59626085$73D4A909-4008-4819-8180-9BA579420B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"0376b407bd25f8b567eca6f8b12df752b8b85eb7","datavalue":{"value":"Carroll Morgan","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59626085$A6CA2581-5B60-4B8B-AF5D-5DECA059CFE4","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"bee461f8bd0bc51e90824b8f8eb7fe2617c4b1c4","datavalue":{"value":"journals/fac/ButlerM95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59626085$EC463EBD-D602-42D6-AD6B-ABD1C5441C51","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"eaff18f432d4eaa085c1ba91caf377b49cb1c4d8","datavalue":{"value":"0939.68635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59626085$6FA538DA-4D43-4F69-B6FD-9E9E6200CCFA","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59626085$39742F63-C561-4428-B402-BE00C562AD51","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59626085$BB7876B7-BA9A-42BB-8EBD-895C3D749895","rank":"normal"}]},"sitelinks":{}}}}