{"entities":{"Q1194205":{"pageid":1204954,"ns":120,"title":"Item:Q1194205","lastrevid":66830307,"modified":"2026-04-12T13:08:43Z","type":"item","id":"Q1194205","labels":{"en":{"language":"en","value":"Axiomatic treatment of processes with shared variables revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63906"}},"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":"Q1194205$D9DAE7F0-23F7-47B2-8E09-67356DCB76DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"639871aec210f43981a792ab6ad2dfe786a34f58","datavalue":{"value":{"text":"Axiomatic treatment of processes with shared variables revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194205$B92E4D14-C648-44DA-8B65-E6CCFB3ED236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f40e34c085b9c28c6abb44ffa5d3a6841e9f463","datavalue":{"value":"0748.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194205$01CBFF3D-52E1-4C73-A3E8-BF410BDB5067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd697a9d6e5a361522fa0fd54a2f4d5927ebb6eb","datavalue":{"value":"10.1007/BF01211310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194205$E81D8632-5D5E-4BC2-A848-50C245123C14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$B571CA0E-C2B1-4FDD-AD6D-7262AF9E395D","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":"Q1194205$C5AF38F9-8586-433C-ACFC-D77336DDA902","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194205$844D7065-B0D8-46A4-A14C-81081F6CD98E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194205$14B0A451-D154-497E-B530-4EB749710B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194205$6A816DB2-0040-4A83-98A5-912448AD14E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b82991910a4a1bda8b88657bd0c7132d5fc44886","datavalue":{"value":"63906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194205$028526B7-2961-4059-8BA4-A42A1C4FF160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194205$EE61086B-41BC-40B4-AE0F-E32A3F2117D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194205$829E9357-4E48-4DAA-9AFB-933F42D55733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194205$9B65C914-7101-4418-9257-17C4AFD17521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0280e8395229f08bc9e8778c733998d00ffb86d","datavalue":{"value":"reasoning about processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194205$D51125F3-CD8D-408F-9477-9407F55B7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86807b9fd79145a6e27db0f6f1532fba342ba890","datavalue":{"value":"shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194205$97A0EDA4-A432-4956-A7D5-2581945D04F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194205$C2047DCF-50B8-42A7-A4E8-0CBACF44AF1E","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":"Q1194205$BDD9A76D-4E2F-49F2-BD38-93B29D31AE40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c166cfe0e3a05c6a84e2be26185c9beeb7d177c9","datavalue":{"value":{"entity-type":"item","numeric-id":1215264,"id":"Q1215264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$3BE8CA82-B057-486B-A3EE-AB26BDCE09BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$7118DBC5-8AB9-40F0-8570-2CC0C156184F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$4B8D9CFB-9610-42FE-A24E-71BB1E3083FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$20311080-2385-4716-A7B7-1D79DA51806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d225681668f1a8720ac08b3915844655caa2a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1080654,"id":"Q1080654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$08BCBE63-8680-4D2A-971D-8BA00216358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$5E9E2F85-A19C-4DC9-B5DC-9FE08CF9D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2944180a2f21b40345233cf80053a0cf51497","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$93F91941-8B74-4742-A382-8C0980739932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194205$C6C84041-3EDC-414A-B5CD-0B2A748BB733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552134be8ff4cccb43f95561d0f5a9bc1d9c76d4","datavalue":{"value":{"amount":"+0.780258297920227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194205$58448464-110B-460C-9CF2-68A691B18AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75daf927ae55cee13f65f42785605eb09ca3603","datavalue":{"value":{"entity-type":"item","numeric-id":5187824,"id":"Q5187824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43bc4c41deb770e949fdcac8554cc4b1f887f19","datavalue":{"value":{"amount":"+0.779333233833313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194205$F5A080B9-56B1-40F1-B8F5-DA3F30BE9145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff84f8d0f4db8e5d356753cda328996449a307","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858f5486ad197598baac3b2b45e827978b70d19c","datavalue":{"value":{"amount":"+0.7491699457168579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194205$28A454EA-C82A-4601-AE9E-C39E71D22210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bcccf64647f2a579a72b9f110f804e1568a01c","datavalue":{"value":{"amount":"+0.7459354400634766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194205$D2FD9E83-A9CB-433D-B805-DD9FD5F472F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fc4cff020b2b5c5f444f2c8bfd52cb26ccc0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbc08d26f6892fba8a29edcec98a1a0fe510cfa","datavalue":{"value":{"amount":"+0.7427175045013428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194205$84A45FAF-0603-4493-A015-DC8005FBFAE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatic treatment of processes with shared variables revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatic_treatment_of_processes_with_shared_variables_revisited"}}}}}