{"entities":{"Q6091335":{"pageid":13225642,"ns":120,"title":"Item:Q6091335","lastrevid":56816571,"modified":"2026-03-23T16:40:07Z","type":"item","id":"Q6091335","labels":{"en":{"language":"en","value":"Abstract Dependency Graphs and Their Application to Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770571"}},"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":"Q6091335$CF2D2F32-4F55-4A8E-B0D7-86FDBC632AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e0a254d90907f1cf1c3783bc4c836ca28e49f00","datavalue":{"value":{"text":"Abstract Dependency Graphs and Their Application to Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091335$9B88D4EB-DE03-4B96-BC8C-F0F940036FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5d2beca04bff0539ae9b0ab1630ad527e624b2","datavalue":{"value":"1527.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091335$BD394938-17CD-4375-956E-F7F6C5FAEBAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8c10bcc2ec2c0a4f5cd6384e76b9b73a8c1e3e8","datavalue":{"value":"10.1007/978-3-030-17462-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091335$880E9C43-29CE-44DE-BCFC-E9BD73C7D419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12e05ecd5b588951502e0180d4e4b6976cc99cc7","datavalue":{"value":{"entity-type":"item","numeric-id":1660776,"id":"Q1660776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091335$48D9D8C6-E39C-4158-B5FF-A00B1EAFDA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091335$962F3052-5680-42AA-84AD-FD12393F2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091335$2BBF6058-6082-4C36-8E85-1DE83E8D85E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091335$2FED60CE-AAFB-44E2-8582-87B482AA5B9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-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":"Q6091335$DCA21EEB-9F04-41B3-903A-5AA500EC0529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091335$58A83CE2-75DB-4FC7-B8D5-6A0AFEB7F574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091335$BD7EEFEA-D7F0-4F64-808A-FE45777D1C6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b01c7c410fa384ec226081e8e05b20fea17fa6","datavalue":{"value":"7770571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091335$4D5A34C7-0D61-4215-9C50-56ABAA157832","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":"Q6091335$8B0E45C1-67FE-4B5B-8E0F-6425ED502151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bd86e59de4fa108f3cbfe8a6e9eeea69ce555fc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17462-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091335$DDD08F4A-9FF5-4230-9796-9F9D4E0CF8FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc5d69b02111302c98033712f0613b46b44e18f7","datavalue":{"value":"W2926435172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091335$58D0190D-D62D-444F-A3E2-FA8B1BFBE6CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d02bc25238156b89d5f81a72ebbd95c9f032327","datavalue":{"value":{"entity-type":"item","numeric-id":6198462,"id":"Q6198462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe202f010bb79e97205b6ac6f96f20da6e3f53b","datavalue":{"value":{"amount":"+0.8440825343132019","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":"Q6091335$10945C7C-11D4-4338-A84B-9C8CBD5B5FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9974646a6102ad475c9dfa19c6312c25aae85396","datavalue":{"value":{"entity-type":"item","numeric-id":6049047,"id":"Q6049047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed9b84cc2d8577a9e9c5782576f1b086143d44d","datavalue":{"value":{"amount":"+0.8088490962982178","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":"Q6091335$AE8BC068-7BD2-4904-9F9F-F251DF667482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0a7adc23f324cdcc04d2b25f959371c9e33b","datavalue":{"value":{"entity-type":"item","numeric-id":1662534,"id":"Q1662534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dda0751787a88e425b326e474fa967d7455c71","datavalue":{"value":{"amount":"+0.805614709854126","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":"Q6091335$398B57AA-F2E1-4748-9FFC-E75F2E41BD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b5f677f42dbb6feaf3cc516f66b14be7350ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4686522,"id":"Q4686522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df9330836b21a2db85e3ce04fd8bb444688726f","datavalue":{"value":{"amount":"+0.7967682480812073","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":"Q6091335$8AE7BD75-1D29-4B56-ABA1-EB25FE0CE8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3533dd760fc7126b6ce222b30919a66d9b7da7","datavalue":{"value":{"entity-type":"item","numeric-id":1660777,"id":"Q1660777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a913024468f1e1690f82a98b66c8468554d0a0","datavalue":{"value":{"amount":"+0.7820262908935547","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":"Q6091335$DD973E72-A92E-4EDB-8C4E-75C3E3E3A542","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091335$C078098A-FC8E-4A15-AD0D-3A40AEA2FCF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091335"}}}}}