{"entities":{"Q2503043":{"pageid":2513786,"ns":120,"title":"Item:Q2503043","lastrevid":78759182,"modified":"2026-05-06T12:22:24Z","type":"item","id":"Q2503043","labels":{"en":{"language":"en","value":"Elimination of quantifiers and undecidability in spatial logics for concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053904"}},"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":"Q2503043$5F4037BA-D0E8-47E9-B8CA-F39EAEC70080","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f83f034aa2532d180b44acdd9a738052ab37b17e","datavalue":{"value":{"text":"Elimination of quantifiers and undecidability in spatial logics for concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503043$7CD6EB04-38CF-4EBA-9572-135CB8C1B012","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5038c9004f07a7763ebd9907c486f38a987e88e","datavalue":{"value":"1097.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$0B5540B3-9E63-41FC-841E-2B124CF5E643","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$D1A4A5AF-0EEC-4B9E-9A0F-E40E0F193FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$73A075E8-6022-4145-9A05-521E43A9BF56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$FD9DE633-C3DB-4640-BC3F-B77532E751A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"975464aca491bff66c9003ab5613515ddc5a7594","datavalue":{"value":{"time":"+2006-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503043$90BF9685-C662-49AE-84D7-8D11E6462F97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$2069A83A-DD1C-472B-B481-24F1213FCF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$B79D29DA-0606-458B-9693-8674694076A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$E9E63541-61E1-4BE7-82B9-513E922683CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$5495B998-A294-4C35-B65F-F3C534CF0CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$EDABF89C-F6F8-4881-A1C8-928E5223D831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09569e04db45e60ce5be196902db6c99b7387077","datavalue":{"value":"5053904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$0DBC508F-0CD7-4756-878F-5475AD0352FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503043$E7C079FD-9AF0-4FB2-8C76-2EAE110976B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503043$B1FF3FF1-B192-4B25-9ADE-3DEBEF64C440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503043$950D6E2F-602D-405C-97F1-BD2791775099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503043$B8994801-E5C4-4453-8ECB-F1B15A4D8CB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$DA874609-4D06-4CF6-8562-B7633F896CE1","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":"Q2503043$8ADFD90C-3FBA-44B8-A294-C6030588D325","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78f471fc2d3a1a12a6294f4b305f842665f16db0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503043$CDC6E66C-57F7-42CB-9E38-4AC450912A38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07349e5726258016286536f74d1c07a92e24ea03","datavalue":{"value":"W2023190144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$6303EE6F-2293-4FB8-A5A9-3E302FA7CAF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661438afabfc55e25d2d4bf6b19e2486427094","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$F9467FE8-1C36-4A47-80AB-371B411B83E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e121a6b33c301ace58f34d91764af44f75a9323","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$792D1051-E95F-4463-A640-39FF859E1E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7319e933ba15aa6f8a1d39375a8d279be83de2","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$60F0841E-9A30-44FF-9385-D6B305E6F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$BFB4CC84-F400-4B21-BF41-CC9C3EF85BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$54E95E14-C769-4F74-8EA9-6C0BD0774906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543dc422b5668e3887aacfa58839071e9ea6dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4417861,"id":"Q4417861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$D458E3F1-40F7-4611-A8A1-B2B47D83EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafb20e848b55dff1b955613627b4dad19b3832","datavalue":{"value":{"entity-type":"item","numeric-id":2763663,"id":"Q2763663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$A6B73181-4FAB-4179-B144-1D3236EEACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$EDE22F71-E3D3-4BE6-B856-D559DFE3F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$A3660E95-4475-447B-A1C6-814BD5348965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928b0d5c60ecc8408969813a15f67b0dc67a730","datavalue":{"value":{"entity-type":"item","numeric-id":4738363,"id":"Q4738363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$2C73C6BB-C9B1-4961-B546-B5EBEFFCF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b50b46c7b2ad4740d4400217ee7695ad85aef0","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$D9F36486-ECA9-432B-B162-C28CD365FC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a45f697ea3f260023194dfa9c899f8cdd7dc5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5308445,"id":"Q5308445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$3CBF1B82-25B3-4510-BB9F-B0CA90617F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404f64e3ec048ef95a2659b7e9229c34a502aa16","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$1EE2DAEA-6EAD-4AB9-8D6F-F54191D6EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce59db71ecc9f96adbd4ed94fb42a11a024d12a","datavalue":{"value":{"entity-type":"item","numeric-id":3535609,"id":"Q3535609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$774B5F36-5BF5-4AAF-BC26-F01194E51E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3378751f7f748516dde2341c325d9b024a4a3744","datavalue":{"value":{"entity-type":"item","numeric-id":5191522,"id":"Q5191522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$EB5E79A8-75C4-4F79-BC5B-F3D7111CB071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06eac9a890b9a94565701524b47651606e322438","datavalue":{"value":{"entity-type":"item","numeric-id":1763729,"id":"Q1763729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$B929F8B6-97CC-4E8A-9F36-8EE12DA0E72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904bae39d03cd9f6c2f42083bbeb72c8a8ee86d1","datavalue":{"value":{"entity-type":"item","numeric-id":5308684,"id":"Q5308684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$9BB1DDC0-0D54-4E0E-86C4-A32E0B055123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$1FC9E271-70A9-4838-A824-0227FE703105","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":"Q2503043$24902DA8-735A-4D52-BDDB-CE7D84BC9C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503043$64D5047F-F132-4F69-BCA7-BD744F59A85B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88216ae95885d8b9d1cc353bdb59b43f9218f374","datavalue":{"value":"10.1016/J.TCS.2006.01.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503043$B40A3117-504A-4C95-A42E-D8425724A7D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974959c1eb8dbaf7393c8df95f88226e428ff22e","datavalue":{"value":{"entity-type":"item","numeric-id":5311477,"id":"Q5311477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8883e4f6cfe5870b5285586a59161751692d17d","datavalue":{"value":{"amount":"+0.9821820855140686","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":"Q2503043$614423D5-6104-4EB7-8131-D16108E3AB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b817a2eed72390eb554ea359de283e2154f858","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888df78afcadc179d5073f6ff778dd51e5312e7f","datavalue":{"value":{"amount":"+0.7758626937866211","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":"Q2503043$662C5008-4DAA-4865-8ED0-68E8C217461C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428ab980dbe46bc1607b3b6894d939c4a458d849","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9844446a338889686735a1e4ae5387d005d7024","datavalue":{"value":{"amount":"+0.7727782130241394","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":"Q2503043$285A80CC-1EB4-415F-841A-EC2C551B789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0fa1762254fc354c01aeba4b37046375356b25","datavalue":{"value":{"amount":"+0.7683607339859009","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":"Q2503043$1ECB2140-781D-4E31-9F4E-56B6D184EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42451edf41917b855e0ceed2b9e9fd101b6e5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3599152,"id":"Q3599152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540d6d9ff0df65efcb8300b95a9b88dd7c431310","datavalue":{"value":{"amount":"+0.7640870213508606","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":"Q2503043$A9C155C6-9ECA-49D7-91CA-3186A38BEBD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of quantifiers and undecidability in spatial logics for concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_quantifiers_and_undecidability_in_spatial_logics_for_concurrency"}}}}}