{"entities":{"Q5034222":{"pageid":7063799,"ns":120,"title":"Item:Q5034222","lastrevid":54234434,"modified":"2026-01-26T12:44:55Z","type":"item","id":"Q5034222","labels":{"en":{"language":"en","value":"Model checking a logic for true concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480988"}},"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":"Q5034222$7858971B-D3DF-4ACE-BBED-F50382D7A529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41a78436151e7c6d177b90121874abd1767cf1fc","datavalue":{"value":{"text":"Model Checking a Logic for True Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034222$42E54E1E-167B-464B-902C-13ACAEE03CEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7684251cfdb426ba35c019c33d581d7dddee9c57","datavalue":{"value":"1502.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$70409B92-A0F1-444E-B8CD-EA7EDD24BCBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d58ff6c3c9f721c9f1614e1e6849962ac5273e","datavalue":{"value":"10.1145/3412853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$F45E28B9-4274-47E0-B181-2FE5988B0438","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":"Q5034222$6D6CD729-1EBC-4FCF-9155-AA757A49DE32","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":"Q5034222$7F3A16F4-6251-4E5C-B1B8-E0F2A8870B20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034222$A6C89FD2-DE0D-4D56-B3F5-020562D54C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034222$57F81EF2-0608-42C7-807C-4A21495A6FFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$C176F106-61DF-46F9-BA96-390C157E10F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$0626CD2B-7863-444F-A8C8-73E252FAB015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$2E196870-00F1-4ABF-A594-49C418BB1085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aa95c77579e387ceeb8b2d9fdf3d77555a2f54e","datavalue":{"value":"7480988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$2A2E13D0-5982-4B1F-BF15-422B9C3AC937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034222$5AB52637-7F01-4810-9E26-EC7CA0E84D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034222$A52A5ADD-3684-4D82-AC3C-4246B9C500C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034222$2EA0D304-5D56-49F5-B1F3-399C009C4271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034222$FDC7122A-B677-4E4F-AF3E-328B20BC995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034222$419D7AAD-DCBA-466F-A278-D410A2F89DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034222$71A5E90D-8C0C-4915-86EC-2AB626437C04","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":"Q5034222$F4530B57-F4C0-4F16-B32A-8CC119762C89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7add9b7450e8c68de31bf96bd86fceac443cd66","datavalue":{"value":"https://doi.org/10.1145/3412853","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034222$20F295A2-485C-46FD-B053-120EB64959A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0f826ff1a59cd334578d70abeba7712534f9b4c","datavalue":{"value":"W3095895296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$33A49A17-CD47-4913-9EEE-33EF286FB168","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eeebf427c9c5420d495d32bcb0094d7f4601f16a","datavalue":{"value":"Q130828904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034222$4F00CFBF-3CEB-43BF-B53D-77E90359B5DD","rank":"normal"}],"P1643":[{"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":"6cec1480ed6fc60e7006884714cd036ee5896e94","datavalue":{"value":{"amount":"+0.9326003789901732","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":"Q5034222$550ED36D-6E1C-410D-9167-948525FC574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbc7e2a8ee529f22e64741668ef5f64df82b9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1652979,"id":"Q1652979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3261c8c97380d0af135e282f0f0da8ec7b3cb18c","datavalue":{"value":{"amount":"+0.9147822856903076","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":"Q5034222$CC3E43D3-83F6-4339-86DD-91151950FBC8","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":"39aa24d80802c82c1b09d49bc6adb00e66e25cad","datavalue":{"value":{"amount":"+0.8224729299545288","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":"Q5034222$E0AA3BCB-BB5B-4CA6-9DD1-E604E292EEBD","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":"a171bc87ab18bf870a92d97e68a50282b0b5cc12","datavalue":{"value":{"amount":"+0.8155171871185303","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":"Q5034222$CE8F1CE5-8330-41FC-8999-1E0766D6CDD3","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":"72cde68dc4e1277140bfbe8c0582b29bef7b241c","datavalue":{"value":{"amount":"+0.8021791577339172","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":"Q5034222$0CDEA9AF-25FA-49EA-9FF6-D6B3556E09FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5034222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5034222"}}}}}