{"entities":{"Q6661747":{"pageid":14272904,"ns":120,"title":"Item:Q6661747","lastrevid":55822921,"modified":"2026-02-17T23:26:29Z","type":"item","id":"Q6661747","labels":{"en":{"language":"en","value":"Distributed bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965957"}},"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":"Q6661747$EB49326E-5E67-402B-A2F3-6CB4B91AAF7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"448fdb432d87c3381d665ae4f06e7d17eef9cb33","datavalue":{"value":{"text":"Distributed bounded model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661747$71866DA7-1E92-4B82-A1CD-BC070DA94C2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1506cab1e3b18fd0646c81646f2c7be920ab6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6485570,"id":"Q6485570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$B48D2971-8D5C-40B9-829B-44234C66760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a335d3216c840b0f532d821b4d36a0aa3284250a","datavalue":{"value":{"entity-type":"item","numeric-id":5222983,"id":"Q5222983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$3D93D983-C968-47A5-B040-AB2D3691F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5b3858ee4ce0d677b090d18ec2090b3038558a","datavalue":{"value":{"entity-type":"item","numeric-id":2281621,"id":"Q2281621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$E475CDFB-D24C-4BA3-A963-815077065B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6b5181b5906f6b9ceccc1a8d8587cc76491c9","datavalue":{"value":{"entity-type":"item","numeric-id":1039851,"id":"Q1039851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$4A82F491-8386-4F57-BA92-54642A6A0DA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$B4B2787B-899C-4B70-AD55-2B27C74DECC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661747$D9F48A89-CA74-4FC4-8297-356525770E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661747$8C1A47F6-A0C3-4D43-9787-CD83DC536AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812bc44a7cb642284c70516a1dc556be049f0444","datavalue":{"value":"7965957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661747$171ABAED-B915-40CD-8679-5DE3C74FFBD2","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":"Q6661747$FCB19BD6-E6E6-4157-8C31-00F49A3B5604","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3c555054f342dfce6c8aa1d53fdb784f0fba5","datavalue":{"value":{"entity-type":"item","numeric-id":784140,"id":"Q784140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$DD987197-589A-470B-8CA9-0782AE6D68B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132f197eba1642379bbe97f1fd2389daaa6c6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$524435C8-0E7E-4E25-9008-3360C7A3DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$BD537058-F315-4DC9-8B36-9F7975B6B8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386f953126008d674f12bb0e123ee53adcfa81fc","datavalue":{"value":{"entity-type":"item","numeric-id":2796075,"id":"Q2796075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$9BD16B15-B55F-43E8-BA4B-839D35AC6C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$4FCBE8CD-C91E-4378-A054-511403D4F9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f9e760c657004dadeede96eb81abed88e9f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3534664,"id":"Q3534664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$BBD6CFD2-C324-4480-86BF-3DA32FBC990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$8A4FFE56-12FB-4919-BCEB-AC9080AD5D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e20c6a4d9a59d6daa1e306d432388d8ed8fb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5168511,"id":"Q5168511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$151D3690-EFE4-4523-A448-1428C9E48489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdaa68706b9f696fc120b6fb61513e7441a9c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5222977,"id":"Q5222977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$97B5A3C2-71DB-45A2-9EC0-1A876442890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aeafb9ac2f2609d33e0e02fb8c95752a23334d9","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661747$E802DBDC-3887-4EA7-BDAD-D61DF228597C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"445975286a3dfa00e8243208206c68a4e375d1d9","datavalue":{"value":"10.1007/S10703-021-00385-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661747$B384B05B-2371-4105-8E3D-9D2803B65857","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36efb17185f5ee397f5560683aa7220adac5335c","datavalue":{"value":{"entity-type":"item","numeric-id":2848663,"id":"Q2848663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388c0cd1d67a4743aace374d4f89ee5b075124f6","datavalue":{"value":{"amount":"+0.8003627061843872","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":"Q6661747$B81BC3F1-00A4-4B6A-B149-9BD8195120DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecd95075dd528dd1baa7240b4d53bc759d9e302","datavalue":{"value":{"entity-type":"item","numeric-id":3075493,"id":"Q3075493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a8363cb84238b0047d677c14c0bebebcdd1ea6","datavalue":{"value":{"amount":"+0.7935353517532349","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":"Q6661747$8E21AC33-5F7B-482B-BD38-AC645D7FFCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71b6b5cc90bb67a92210e8685c10448d05b24f0","datavalue":{"value":{"entity-type":"item","numeric-id":5897077,"id":"Q5897077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b78a1cc70ac34a3e28c03ed572bb31407292a7b","datavalue":{"value":{"amount":"+0.7722381949424744","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":"Q6661747$15D623EB-9878-4A6E-8A0D-6B7192F5E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c371e091b2b246ba79ed2084e8c494546c8d2ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2845491,"id":"Q2845491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ef5e56e99293fed2f44c0364bee5152608c10a","datavalue":{"value":{"amount":"+0.7702515125274658","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":"Q6661747$E45F4E63-6C49-4FED-9A59-CB72E0E4FE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729cef116b6290fc31462f3f9f3e3f41f50f616f","datavalue":{"value":{"entity-type":"item","numeric-id":6487321,"id":"Q6487321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ea7c5c1dc23c439b43834164375ebccb587753","datavalue":{"value":{"amount":"+0.7652453780174255","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":"Q6661747$AAEB6A48-1C6A-44A1-ABAD-B47CE920A4A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6661747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6661747"}}}}}