{"entities":{"Q300375":{"pageid":302142,"ns":120,"title":"Item:Q300375","lastrevid":52565393,"modified":"2026-01-22T23:54:03Z","type":"item","id":"Q300375","labels":{"en":{"language":"en","value":"Projecting transition systems: overcoming state explosion in concurrent system verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598729"}},"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":"Q300375$20934851-AE4E-4CAD-8242-32C10D6D7E2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30ab95db578aebdae6c306415308312a4f2a0f96","datavalue":{"value":{"text":"Projecting transition systems: overcoming state explosion in concurrent system verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300375$5E2FCBB0-A18D-44BE-8BED-57A31E6D3391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d49b320b713ee7ac497fc346fe109e31877a0f4f","datavalue":{"value":"1339.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300375$34E872A0-5F80-4E8C-A29A-E151CCEE35F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f4050461906366d0cd126e5a6061b28a627495e","datavalue":{"value":"10.1134/S0361768815060043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300375$8D2824F2-A50A-4D88-A4EC-6930D7CEC047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c2e4efe8f0520aa0b89f4bbdc29f1609cbdd93f","datavalue":{"value":{"entity-type":"item","numeric-id":300374,"id":"Q300374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$AE624E21-EE9C-4645-B7A8-6A24EA6836E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$960BCF10-F4E3-4F94-972A-8C01C1B1C759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300375$CECFD758-E805-4877-87B2-6A9F1358DC57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300375$6C03EC45-9765-46F2-B014-F85AB8EFAE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300375$7B699C9A-DF1D-40DF-9783-C5544B1EDBCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e06b8ee95f988fb1b66b6279fc405cc0a07cdf9","datavalue":{"value":"6598729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300375$FB778616-D899-4868-921B-5EAB874E5BE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f6f1a87373b98ce4e5c9867317560dcffcc63a","datavalue":{"value":{"entity-type":"item","numeric-id":27609,"id":"Q27609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$939E0967-686C-4867-B3B1-0CAC522C17E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f2fc6b1cac5942479e34eee08b7ed6cdecf60e4","datavalue":{"value":{"entity-type":"item","numeric-id":18658,"id":"Q18658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$05DA3429-BDDA-4057-A915-ABBA05C6E457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$F69D05AA-7411-4E4D-AF33-BD3F2CED6869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a82b5d3c25d8926c2d8b482f2079dfb64bbcd92","datavalue":{"value":{"entity-type":"item","numeric-id":16319,"id":"Q16319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$E769BEC2-4942-4B75-8109-EA5519A29702","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":"Q300375$D16E57F0-D862-4005-972E-12D8737FE7A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae08552fa9b5a17b5cb3ade2c05717810a29fa97","datavalue":{"value":{"entity-type":"item","numeric-id":2755144,"id":"Q2755144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$EF63A873-B7E4-4013-A479-1079F170E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502518d1320f2f2b5253139f4e184366770cf2f3","datavalue":{"value":{"entity-type":"item","numeric-id":5664923,"id":"Q5664923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$84D2D1A0-2455-48C3-A7DE-ABB53DD2EFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$6D202464-4C9E-4ACF-A0C7-1A7C13F93AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$3E20EBF3-71A9-4F89-A7BE-A0652148958F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$F257695B-9EA5-4260-AAB4-AA3CC4AB6282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bddfd32f1c363cfbc714f2609e6a632946b06a51","datavalue":{"value":{"entity-type":"item","numeric-id":3995038,"id":"Q3995038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$12CEDB46-850F-4CEC-96BA-CBF868117E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a604914c2f7474314bf08f9c4bb9d939a26057","datavalue":{"value":{"entity-type":"item","numeric-id":2487103,"id":"Q2487103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$E4CEA49F-2194-4822-B725-B35D39050FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e92f54e467b096e794420af124070a8451980b","datavalue":{"value":{"entity-type":"item","numeric-id":557536,"id":"Q557536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300375$83CECEB6-7E6C-4EC0-B4AF-BE8EA214C322","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b6e6110f9a68224c2d8b39d6711b77ef6f1ce1","datavalue":{"value":{"amount":"+0.7623048424720764","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":"Q300375$7BAB9F30-F38E-4AD7-AB3F-C9CEA242597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded3567d77be3081c6a5ca2de4be9872d7c247de","datavalue":{"value":{"amount":"+0.7613251805305481","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":"Q300375$6198217E-A557-46EF-91E2-5615A5DB7F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad5bd2fcbb2862133e818d642649943dd29202a","datavalue":{"value":{"entity-type":"item","numeric-id":4737366,"id":"Q4737366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e069ac24756655562db6eda4fabb02232fa08f7b","datavalue":{"value":{"amount":"+0.7466703057289124","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":"Q300375$2D192321-4221-48E9-B9B4-26880F2D0F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64155d6d1dbdb975811b98e947a3bec9b2e2f3d6","datavalue":{"value":{"amount":"+0.7457588315010071","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":"Q300375$B32F2A77-CBBD-4BC5-8090-004B49DBE6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52e695d90729e3074f6a672641a35281f8a05ef","datavalue":{"value":{"amount":"+0.73332679271698","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":"Q300375$554B568D-C14D-45EB-861D-DCAE2A36DACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:300375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:300375"}}}}}