{"entities":{"Q6168424":{"pageid":13303309,"ns":120,"title":"Item:Q6168424","lastrevid":55473610,"modified":"2026-02-17T17:13:43Z","type":"item","id":"Q6168424","labels":{"en":{"language":"en","value":"Un)Decidability for History Preserving True Concurrent Logics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724186"}},"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":"Q6168424$1212CE6B-56E8-482D-8105-876E5F2AE6B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168424$B0DA8D93-F812-4AF7-AD2B-422829593B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49333e84b835a1566132140381f9e41e38acd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":592096,"id":"Q592096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168424$62DA2482-EF0B-46E0-9629-D4F2B748C34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7ca3834697b9eec4cb675b7abb884c9439cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1652978,"id":"Q1652978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168424$9EB15D02-0A24-4AE9-A818-F1C5B9DF6C6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168424$93168B2B-56F1-4DF7-B4A3-832CA765557F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168424$C048F877-3E13-4FCE-B256-8C73FC4571E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc4932799cd76ee4e3a9f56a85f5d805274af281","datavalue":{"value":"7724186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168424$AD3D5D5B-10E2-443A-AF29-60A17726232F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168424$819B83F8-AC5B-42E0-98C4-530ACA458E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfab0d0d3ba777bc7b15061e7e75fd00096740d9","datavalue":{"value":"history-preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168424$B9DC2A6C-4923-4E78-869A-7F5E09995B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d86d9f49d4fc5cf336181f52463b0434ff7d0bf","datavalue":{"value":"true concurrent behavioural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168424$E5AC5DCE-F55E-433F-A810-0019F2A082E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168424$90C73AEA-B3FE-4423-95E9-5CC51DDFEA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168424$B3EB048C-51F2-49CA-85DD-63E8E334CA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd273425df26438af183de46505e1fb81e40e7cd","datavalue":{"value":"domino systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168424$F4F3C641-C577-4DFF-8545-AA2F5EF5E25A","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":"Q6168424$B7FFB3EF-6F2B-4205-84F4-BD6195238FC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93e3e915d300ca7faa72994950972ec6d04d8a79","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14453/pdf/LIPIcs-MFCS-2021-13.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168424$543AB6BB-9BF2-40CA-8D57-107BEF4171A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34719a53193dbc9858d45dc23450c41253ca05c8","datavalue":{"value":"W3194265715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168424$EE694F45-9B50-46D1-9678-5A2334F51DE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf302621d4818d91b3ad0ed75557d3a0ea004568","datavalue":{"value":{"text":"Un)Decidability for History Preserving True Concurrent Logics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168424$04EC3BC7-9358-4C24-B41E-C34528367895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f10cbe3d156e9fc9a7578af0cc3c79b28bc759cf","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168424$D198BA5F-DECD-481D-927A-7BBEA09522C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9080a9d552ceeffdf221bf522f2a4ab1d3869895","datavalue":{"value":{"entity-type":"item","numeric-id":5034222,"id":"Q5034222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8565387b1c2e514d550ecc19df85692ae1bda67a","datavalue":{"value":{"amount":"+0.841520369052887","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":"Q6168424$DD59B351-A44E-46E4-9ED9-CFA779D686DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80dff32e03f11cd2e067fc4f19317f0fe7cca91","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9898831e74f443cb3789ba8f9f2f58423ce3d338","datavalue":{"value":{"amount":"+0.8231309056282043","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":"Q6168424$4A1DE599-D710-41D6-8450-FA9E86138F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e634edac656c8abd407fda4f697b3b47f629581","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d74d2569a62542b54a3c1378d2f9110af41c30c","datavalue":{"value":{"amount":"+0.8229387998580933","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":"Q6168424$AC6C5153-DD3A-4292-B4B1-F6E748F685A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b6bb54e5ab501ea27312e77dd27871dc6b0974","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a59a7043c1aeb11a609a1355387b077461108ce","datavalue":{"value":{"amount":"+0.8020509481430054","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":"Q6168424$A4EB1B66-E210-4C57-98FB-18F1DB6362D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36344bd309b4d9fa226075a0ab7bf1d14008ed74","datavalue":{"value":{"entity-type":"item","numeric-id":2988383,"id":"Q2988383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819f13f6774c6c20f493f1f05b9dbf3432ba901a","datavalue":{"value":{"amount":"+0.8012906908988953","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":"Q6168424$36D0F680-9992-4CA9-A337-AA500FE443BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168424"}}}}}