{"entities":{"Q402353":{"pageid":404120,"ns":120,"title":"Item:Q402353","lastrevid":61625175,"modified":"2026-04-11T00:33:20Z","type":"item","id":"Q402353","labels":{"en":{"language":"en","value":"Undecidability of accordance for open systems with unbounded message queues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335092"}},"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":"Q402353$85B2BCAC-1C91-4310-9745-314694D48133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bca4826072d4d66efa2bea29f99b4c0bac83702","datavalue":{"value":{"text":"Undecidability of accordance for open systems with unbounded message queues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q402353$0C792805-6BEB-4DEE-B857-2B033BCA87BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f6262a01b05176cfd0c3c21c24f6fa5a74193a","datavalue":{"value":"1371.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402353$B2BDFE4F-CB38-486A-A115-49FAD926224B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$781E32B4-659F-41E7-8FC4-FDCA60917C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"219030106450a61014cf009996673608e893f290","datavalue":{"value":{"time":"+2014-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q402353$F735D0F0-4F2B-405B-97FD-643A8405E265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402353$083491AC-F033-498A-BD78-9F50F643AD3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e7e286cd4cf3e1ad337645c176a44df4398474a","datavalue":{"value":"6335092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402353$ABF87D5B-C605-4426-BCB2-4F0EBDDCDFDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q402353$534F1295-758B-47D1-9D4F-111980E76F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b61c55a27e3df568b648455cfac31dfcb0d0460","datavalue":{"value":"open nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q402353$ECD486ED-742D-4740-8DC4-162C6A958579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2898ca0fcfc9c97469f219e5fb5cc5b553fe1f4","datavalue":{"value":"accordance preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q402353$EA17B0FE-9B0F-48F2-8912-A29E2F5A1BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q402353$29D4085C-6398-450C-8FD6-5FF85EE1D245","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":"Q402353$BC754EDE-350D-4839-A21B-A962EBF49323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2808ba5e3dea675b764bd533b57ee6f652554b21","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.07.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q402353$A2629207-FE1F-4543-A4E3-E1A73C7E7222","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c10e1846fda0305d1cf56fa1716a3609fd40a24b","datavalue":{"value":"W2001076149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402353$B1457B5D-ABD0-4186-8DB5-5F928FCFF39E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f148840e179bfa1dd98e5384d92d9e16ce8cc7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623825,"id":"Q3623825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$3C029926-7127-4193-8697-A702E12F0BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672aed4bc61e7c3f3e93640652fe9707dd1aa937","datavalue":{"value":{"entity-type":"item","numeric-id":3623824,"id":"Q3623824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$C245F3F5-0FC1-48D1-BA02-14C744164B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b304bb71a7b6145903dd13723fbb60b76ae0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":974133,"id":"Q974133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$1188BED0-105F-466A-8C77-9118AAB769FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817243e3de4a59d3dcad47baf83c736f8651b098","datavalue":{"value":{"entity-type":"item","numeric-id":478516,"id":"Q478516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$1F6784FA-1258-4027-B394-B4D805143E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2bac2361410d21d64eaa437ec380a477df28a22","datavalue":{"value":{"entity-type":"item","numeric-id":2428498,"id":"Q2428498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$ED549AD5-43AE-4DCA-A53D-14B0EEEBC8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$77E9B9E8-E3E9-46EA-B521-2ACF829F0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$4027C92C-2E08-49F3-9C1D-DEBA873F0415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$D06840F6-DF17-4794-847C-57A531239DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$1B5C21D2-C4CB-4CEA-A218-A7F7172909F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$9556CE24-608A-42FB-8F2F-77E487F3D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb83b696103e93fce472a3a6fd657b67de574c2","datavalue":{"value":{"entity-type":"item","numeric-id":975497,"id":"Q975497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$00237410-7C67-40D8-9D16-DFDA8625A973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$070B5EDC-8D4A-4A52-B6D8-60AE32CBDC5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc5650b7ad1908ea30d3d8e7fa0ff5ab5861faf","datavalue":{"value":"10.1016/J.IPL.2014.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402353$6BAB141B-4641-4DBA-A44C-361523F198AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50181b29e5d2a25af61306fd84291fe65c150e96","datavalue":{"value":{"entity-type":"item","numeric-id":3201754,"id":"Q3201754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d7a51e4858e63c895fa92b6c85fe8634676aff","datavalue":{"value":{"amount":"+0.8622469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$68D358BA-3051-4CD6-B5F6-CCF0BD3A8C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c309999bbf974b7132c51b3b41f6b52e6548b44","datavalue":{"value":{"entity-type":"item","numeric-id":3651281,"id":"Q3651281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e161693dce276654468ce538ad51566a6f729d","datavalue":{"value":{"amount":"+0.84272397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$633E8D40-5344-460A-8138-519C600C3AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dff55a737df6c82e9466a23bd42a62ee671b99d","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c877e3514aa123e79214b1fcc4b4fa71f1975ec5","datavalue":{"value":{"amount":"+0.8361028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$A965409B-DA6E-4229-BA3B-3137F263CCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4d0163d0d9d459687f0b796aad297201d2b800","datavalue":{"value":{"entity-type":"item","numeric-id":4632436,"id":"Q4632436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc78271ad098052ab31c9ec9d6e01a2b98a5a0b8","datavalue":{"value":{"amount":"+0.83226097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$A2A97FEB-28FE-4C45-92FB-83F0516E55C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cde502c2717d0ec1f1da0842a5ba6f90af1e","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15323e80c07a72d648ba3af6a1c5faba7d939fde","datavalue":{"value":{"amount":"+0.8322609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$EBDD24D4-CEC7-4B5C-990A-07E61212B0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c473b81fc16c403f406bbac3c8a0886ed3c96ae1","datavalue":{"value":{"amount":"+0.8295703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$A4210743-4C4C-45F6-BBC5-D057CDA732C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf0132dd86a7be629f68d1230906d549dcbf446","datavalue":{"value":{"entity-type":"item","numeric-id":4412076,"id":"Q4412076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a6e95d3422821d8ae0f47e1c4643ef78749dec","datavalue":{"value":{"amount":"+0.8281663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$55539EF6-5896-4ECC-A2A5-ACCD822B9487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925328eeccdf6a722f8e5b1aeae6f047dfdaaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4412112,"id":"Q4412112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d415f44294367604101c755e9f4c187c531b8766","datavalue":{"value":{"amount":"+0.8256316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$D0413A06-888C-46C3-A083-D3423FE67B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538691a9d331aa25fb6bd5089c25d678e07d522d","datavalue":{"value":{"amount":"+0.82464755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$5D19480B-86BE-45FC-9B2E-D1E421EC8545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4868fee9de90509016383192b5714c7d694a59db","datavalue":{"value":{"entity-type":"item","numeric-id":2389334,"id":"Q2389334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd7be71fb701ad006eb4a2f7ed75bcd86f78613","datavalue":{"value":{"amount":"+0.8245555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q402353$F6F0BEF3-7AAC-4C6B-8CB0-8C11BA14CA9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04d6cbd85f1bcbb4ad59543689a5cdb24783dddc","datavalue":{"value":{"entity-type":"item","numeric-id":1539883,"id":"Q1539883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$163FEAE6-EFB1-4B30-B4C5-40FE43098EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44eb2cf46dfae53786b88865e54277536d01f704","datavalue":{"value":{"entity-type":"item","numeric-id":974131,"id":"Q974131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$5053F0F4-B774-404E-9B0C-8F18DEECFB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402353$C537BA35-A31B-4112-A571-B3773F9DFB20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of accordance for open systems with unbounded message queues","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_accordance_for_open_systems_with_unbounded_message_queues"}}}}}