{"entities":{"Q1662535":{"pageid":1673276,"ns":120,"title":"Item:Q1662535","lastrevid":43266912,"modified":"2025-07-22T23:37:49Z","type":"item","id":"Q1662535","labels":{"en":{"language":"en","value":"Model checking concurrency and causality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6920500"}},"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":"Q1662535$5BF2FB11-19F6-40C9-BE4F-B483E4B03E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1db01579e12b42cf5c7e02e8dda509e90e07a104","datavalue":{"value":{"text":"Model checking concurrency and causality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662535$29BE46BB-AE36-4DBD-BA0C-780CB11CC692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb8b8fb1de4ed65bf42a99bc6837a446451eb32d","datavalue":{"value":"1393.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662535$3EF34546-9E71-43EE-9A3D-45999DE899AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b974d383a5215c4d30145fbefff3ed8dd653accb","datavalue":{"value":"10.1007/978-3-319-57861-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662535$DEA10E24-B20E-4DFF-9B0B-D2FC314A7F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431a43c637c8a2264e4d8145aa5a3c26bfb96786","datavalue":{"value":{"time":"+2018-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662535$59DEED1A-45A9-49F5-ADA7-0008402806BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662535$00C03C9B-AA59-4531-A369-94EFBD38EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662535$1D7443B2-9217-47ED-AAA3-55C24A2F1349","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d46cb01bf8784392c661a20bd7d38a0d8585793d","datavalue":{"value":"6920500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662535$85FDA835-5DBC-4A9F-BCFC-ADBD41F307D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662535$778303D4-D3B9-4F9E-AFEA-BBFDD4AEF10D","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":"Q1662535$9094B24B-779A-4DBD-91E7-34720FD8FB26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b32e064175b062b650add2e60207279f0d9b8fb3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-57861-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662535$FE7E5653-AC67-4465-8797-0CA4078B3F43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b43b4f5678c2f70ae162dfb43357ca67ab143657","datavalue":{"value":"W2610792783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662535$18C3226C-65BF-4378-838E-C458077684FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50245d6b71cdb62ecef8afeddd925846ff03580f","datavalue":{"value":{"entity-type":"item","numeric-id":4686524,"id":"Q4686524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825dae33184c1b73484cc31b393297004579c9e9","datavalue":{"value":{"amount":"+0.9461775","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":"Q1662535$8092CB02-6D09-4E95-9527-F4EEAE6F6DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5cd13e258783fbfa24a551b2b07adcd9a09db2","datavalue":{"value":{"amount":"+0.9449618","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":"Q1662535$59122F59-307E-4119-B5F5-7BF1FD5013FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347113fc3c90422b9f577651d03c98860c0253b1","datavalue":{"value":{"entity-type":"item","numeric-id":4823428,"id":"Q4823428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af36816d172e2129613c623fb7cac6feffb8bed","datavalue":{"value":{"amount":"+0.9330859","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":"Q1662535$55931F97-108E-41C1-969C-91B83A844048","rank":"normal"},{"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":"6608f1a338cf7488d551296003d2c57005f1cee8","datavalue":{"value":{"amount":"+0.9317383","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":"Q1662535$B453B635-A98D-46B6-8E6A-63E5E46F46AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7007876ee0d2d481981a3e9181281945de074f","datavalue":{"value":{"amount":"+0.92409885","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":"Q1662535$7A6B0351-0B6D-4DB8-8BA3-C3498E43DD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f7b8730465e1674b18573c8e841239c6c84df5","datavalue":{"value":{"amount":"+0.92402583","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":"Q1662535$B7B5AD38-BF9E-4A23-BB62-9B8A6D101BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c4f105cae194a23b70d6039cfc54da41c307e2","datavalue":{"value":{"entity-type":"item","numeric-id":2982239,"id":"Q2982239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b91b4f865e195869af158b472f6be92a0513cb","datavalue":{"value":{"amount":"+0.9210188","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":"Q1662535$5E08124F-B94B-4D1F-B966-8E134F0AEE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca1e6168925f702b799b076c94198065e06fe73","datavalue":{"value":{"amount":"+0.9160351","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":"Q1662535$9753182D-0A5E-4F8D-9388-F42CC91BCB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08188ac5770a0bfae2d3dfff9a40d0b97d2720ed","datavalue":{"value":{"entity-type":"item","numeric-id":5690304,"id":"Q5690304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feeeb80f8537ea7ef5d7e85bd96ffba68943383e","datavalue":{"value":{"amount":"+0.91302997","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":"Q1662535$66C898CB-96CA-4C55-8B7F-A834F124E5C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662535"}}}}}