{"entities":{"Q1805399":{"pageid":1816141,"ns":120,"title":"Item:Q1805399","lastrevid":43338508,"modified":"2025-07-24T21:31:32Z","type":"item","id":"Q1805399","labels":{"en":{"language":"en","value":"Action systems, unbounded nondeterminism, and infinite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 754283"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$6184E4CF-E7C0-49AB-AF79-C2EE39299C9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8260de4ee75c4ef60a29a5b1722893f4ff70a86f","datavalue":{"value":{"text":"Action systems, unbounded nondeterminism, and infinite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805399$E5B6ECFE-D77D-4469-A42F-406DF6B088CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01dc2579999e48d8fb0aafb2a9b33f7441798be5","datavalue":{"value":"0939.68635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$14EEA2A1-94FF-4295-AEF8-4315564AC83C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"430ffd6223cab540f89a3825c35ec90c10746716","datavalue":{"value":"10.1007/BF01214622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$D6B6A7CF-11B0-4CA0-84F7-7A93D7ACFC3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$1789E1F8-AB95-47F6-8743-8D65887BB744","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$54DA2AE8-4109-4B5F-8C30-808E014A04DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3859e15c5787ed6f583a72976094858d11a5b8a","datavalue":{"value":{"time":"+2000-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805399$8306D2E4-BF3A-40E3-8AD2-7260BCDE8DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$D208ADD8-ABF8-4585-857C-407A58F4D3F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d415249ebac49ded250c15292ba16ebc24f77966","datavalue":{"value":"754283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$784994B2-8CAA-4D5A-816C-F2EC8E396C6D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c76d0dad54edfc5bb9187d8cf441bdb64f4e95fb","datavalue":{"value":"Q59626085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$E200D0B0-32AD-4418-8C0E-14AEC7CDF034","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$38F85430-2C8A-437F-8F1D-C459C19808D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$2DFC384A-0228-4427-A0DD-B590FED4FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94223dafefd21030be656dcd94f94b2f0ec420de","datavalue":{"value":{"entity-type":"item","numeric-id":918204,"id":"Q918204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$DE7A980F-089A-48D3-B83F-EB94B897826A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$81DE6583-3348-44AC-A84A-EB9009C11F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$6BCC7D55-3EE2-41FA-A6E8-F00DB70B0455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$98C4FECF-9AFA-45BB-99FA-330BE82F473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f591237a7b965744d09aba483f5977a72592ee","datavalue":{"value":{"entity-type":"item","numeric-id":3994745,"id":"Q3994745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$5ACAF135-4DB6-4643-82EF-4C8535335A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b990987646964abac11e3e2c0c4b5cc7c7b0913","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$ECC5EB05-4483-45AA-BEA1-016B774A77F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$4B50FE37-4722-4CD2-BD15-D9439F0CC266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d330c9967f580ffb498c48ddb39c9deb1547de","datavalue":{"value":{"entity-type":"item","numeric-id":5709370,"id":"Q5709370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$E0B71C4B-6FD4-4217-A333-06A2091F1EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$ADE6E2FA-F2C0-4578-A2A2-C989EB0CFE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$A941AAF1-3304-4D8F-B5AB-889C1240D207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc3f4ed9f8d6fbed1e4020250b6643a9a22741d","datavalue":{"value":{"entity-type":"item","numeric-id":4276178,"id":"Q4276178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$9CC40E95-705C-40E2-8DE4-2E7259471E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805399$5254C521-659D-436E-8569-7E92754A3178","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa540cdbe4fa96ac695e123f62d79cf65f4bd3e9","datavalue":{"value":"https://doi.org/10.1007/bf01214622","type":"string"},"datatype":"url"},"type":"statement","id":"Q1805399$0CAEE0D1-552B-47DB-AFCD-5F358B5B0D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a02a2ff5d41f7b226682d91f9dc6cf676a15edf2","datavalue":{"value":"W1995450284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$B750832C-974C-4108-8805-A2F1B8C85E0C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f4dff4ab0c0dece251f05f4fa40c171d7ecedb09","datavalue":{"value":"journals/fac/ButlerM95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805399$09B5C528-07D0-46AF-8DA4-212299325EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1805399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1805399"}}}}}