{"entities":{"Q1706141":{"pageid":1716882,"ns":120,"title":"Item:Q1706141","lastrevid":73360989,"modified":"2026-04-14T15:35:32Z","type":"item","id":"Q1706141","labels":{"en":{"language":"en","value":"Distinguishing between communicating transactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851677"}},"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":"Q1706141$5CDDDC3F-13F5-4A7E-8190-08825AC4EF1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4206990f2462e91f3959f0a1ea40ecac6c9556","datavalue":{"value":{"text":"Distinguishing between communicating transactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706141$2133120E-137D-4739-B59F-27C0419DA6FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e6e9884eba90e47602f93e04c505ee2567ef3b9","datavalue":{"value":"1388.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706141$982677BD-A480-478E-B01F-7FDC966BAAC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$A82C7FC9-1F19-404E-8941-019F1AC21093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93085f52138fad9fa73eacf47c42296b00e780b0","datavalue":{"value":{"entity-type":"item","numeric-id":1706140,"id":"Q1706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$CED368BD-2200-49BF-841B-786DE9C7788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$271E39EC-390B-4B81-AA7C-29D5E1313F28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$11734DAA-CA88-4150-9624-E4DCAB03073F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1706141$B46FEA7D-EA14-4767-8E2F-F9CF7985592F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c6c679a2ffa1df18720f31ead0bc53131998a08","datavalue":{"value":"https://arxiv.org/abs/1703.03256","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706141$CE879D3B-69FA-4CC3-9D52-3CB62A49B621","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706141$097C76C3-426B-4E3A-BCF5-5A44B2048401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706141$D0AF85A5-3870-4473-AB82-CF5ED7CA676F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac075f1921ddf91751b1040bfe2b63c0f1e715b3","datavalue":{"value":"6851677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706141$09BF34C5-D320-4EA9-A296-6CE206D238D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceadf9af4308d8ea8cfa0ab471b545cfd60bb9ed","datavalue":{"value":"non-isolated transactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706141$79F8D131-C8F7-4D52-A40F-1B6A1E610E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133121c33ea6bf14f5d26e6dd8b56c980c144cda","datavalue":{"value":"communicating transactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706141$78F26583-A780-4756-8D01-A9326EB05F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706141$24D5C28B-6269-4D6E-98A2-8BA4AABD2CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706141$7C604F26-B74C-44AB-8A89-6CA340CB826E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77fe8efb05a48a220dda409f47080a3720859b5a","datavalue":{"value":{"entity-type":"item","numeric-id":32742,"id":"Q32742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$D3CC5E57-9ABB-44DF-88F0-6E2ADA18A564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$08621520-6A55-42FC-8685-272C6221A9F4","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":"Q1706141$A3D4A3CE-97CB-4709-BF04-7E1D5B75BE73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bbcb361cccb40437754d2de0e8c8cf43c69e193","datavalue":{"value":"W2601905883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706141$FA19FE2E-5234-4DB8-8056-A04A61109AE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$58398D01-4796-4A1D-BC85-ED72AFCB8A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$8E2A86C0-C95B-4DE5-9EA1-39555641B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779f18a6094472fd9dfb1309321ee1634419213c","datavalue":{"value":{"entity-type":"item","numeric-id":5740633,"id":"Q5740633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$CE9C3F60-E4CD-43C5-B9EC-5BAB4F2BFA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b27430722e3f25a7dda85bb500ed555ce054f3","datavalue":{"value":{"entity-type":"item","numeric-id":4037118,"id":"Q4037118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$EF28D08C-8D5E-4927-AA60-AF4BE396BBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$EBED3BD7-E596-41F2-8A1D-81D9F68807EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d299c396e13352ec31f2c4915d0d1a1bebbfda","datavalue":{"value":{"entity-type":"item","numeric-id":3584956,"id":"Q3584956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$387F87E6-EE36-42EF-8B1E-1A6AA65479B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195087046b5ecd7f80fdb1d71d06047406db54f7","datavalue":{"value":{"entity-type":"item","numeric-id":3546046,"id":"Q3546046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$6EA2983D-AAA2-4744-BC49-FFB59D74F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174ddeba4527a23c0a878007dc47a87332c28744","datavalue":{"value":{"entity-type":"item","numeric-id":5276146,"id":"Q5276146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$C2136453-839B-4F59-9EC2-C78C3578CA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$23188E12-4B6D-413A-A7D4-58B1D61DA65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$4F617619-19B5-4633-92FD-86A85493B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$E7625E04-97E7-4BC0-9EA4-432B9B4D07DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9027a5b49c7a7925876fc4d45a3facc1a044d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5410681,"id":"Q5410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$E3DF8E4E-6CF6-4591-A675-1FAC0BF8EA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$816CCFB6-6C40-4F9B-8AA7-A940C6E4D202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ffef44f4d63520001869844161b5a9ab99f758","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$43D2A318-5B22-42DF-B9ED-EB5DB8325313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$98140AA2-4BA8-4769-AAD4-B51B57A698B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706141$E3951830-50E9-4B63-808C-D39D90747EB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b83357de5094156b9bcbdb6084ac5a2ad9d62e67","datavalue":{"value":"10.1016/J.IC.2017.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706141$5B6C166A-D3F2-4EF4-A5BC-4CFA2F9C3A03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90084e016b2f33c486de0e2110d55f857b6f2cdf","datavalue":{"value":{"entity-type":"item","numeric-id":3584956,"id":"Q3584956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba958163a4b77797ce134609b5216453a23e5005","datavalue":{"value":{"amount":"+0.8266861438751221","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":"Q1706141$7B63847A-CC78-4EC1-86CF-9EF0D04AFA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea50bb168cdf85523ccf6e3f6dc69a22fffa2cb","datavalue":{"value":{"entity-type":"item","numeric-id":5410681,"id":"Q5410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac0331987b69077a4460d8818cd182e12784346","datavalue":{"value":{"amount":"+0.7682209610939026","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":"Q1706141$2CEA5E00-8422-4D40-A5DF-8472DAD234DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4e986df0de0175bb5974bd15fd15843d514a76","datavalue":{"value":{"entity-type":"item","numeric-id":5191504,"id":"Q5191504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509f0ebc1903861eca173433e883970c77c0d152","datavalue":{"value":{"amount":"+0.7312417030334473","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":"Q1706141$FF25528C-CA1D-448B-AE98-AA915A375240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbbdcd2f0697611dd68ef514456cab8da760e77","datavalue":{"value":{"entity-type":"item","numeric-id":5740633,"id":"Q5740633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5570d7dafeba4622d23fb221685a9788c6869400","datavalue":{"value":{"amount":"+0.6970653533935547","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":"Q1706141$C0EDB816-F891-4BDB-874F-446E22B2B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6b24e585fc381f6ee387d3de0d186a4936d2a2","datavalue":{"value":{"entity-type":"item","numeric-id":5714266,"id":"Q5714266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeabfd99880c6008a4eeae9233a3839497c79a44","datavalue":{"value":{"amount":"+0.693015456199646","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":"Q1706141$7486B83E-7F34-494B-97B9-E7B0754AF09A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distinguishing between communicating transactions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distinguishing_between_communicating_transactions"}}}}}