{"entities":{"Q2845491":{"pageid":2856211,"ns":120,"title":"Item:Q2845491","lastrevid":83759336,"modified":"2026-05-07T10:52:38Z","type":"item","id":"Q2845491","labels":{"en":{"language":"en","value":"Distributed explicit bounded LTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203470"}},"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":"Q2845491$078F5FF5-9B45-4BC3-86C2-22F5C9DF0653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3f48fcf6b569cc5308c3ac31fb19a09a9a26a33","datavalue":{"value":"1271.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845491$EA2557E6-CCF9-43CA-92D8-BBE59D27F8CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"882a0655ead82a1e3f119f06f5fc57ead7f0368a","datavalue":{"value":{"entity-type":"item","numeric-id":2643077,"id":"Q2643077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845491$C6FFDD10-5F01-4961-9A86-957B7B0E267E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845491$559B1BED-FCA8-40D6-8B44-E7CD6A065B95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f26cbc0b66030662cae7fd480ee4d17184a287cb","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800957","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845491$EAE1DBF1-3DF9-49E0-AD5A-EA239CC2CCEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845491$8D4CE2C7-D649-4CE8-BB4B-2F6A26143086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845491$89DF8D45-D02B-43F3-8F77-4CD1DDBA82C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845491$7F1AA700-469E-4EC2-81DD-F2409DF62618","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaf0820c8e1231c077c6a9cdb3c9a56f4ee579c2","datavalue":{"value":"6203470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845491$318405CF-A313-4E88-A3CC-482D197A189F","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":"Q2845491$000041EB-EC0C-4652-98CF-80A58227666C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9556b8dc2c2c50da1acac1d67c98743c25f7241c","datavalue":{"value":{"text":"Distributed explicit bounded LTL model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845491$4F784CF8-4D8A-4980-BAB3-3271EA788CE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb1efe408f3677a25eaf33124438cd40b7fc669","datavalue":{"value":{"entity-type":"item","numeric-id":3591390,"id":"Q3591390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928c7b917e0a4e5171f936af2b82f8cb907351f2","datavalue":{"value":{"amount":"+0.8152058124542236","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":"Q2845491$43F7BFDC-6D15-4DA0-9197-21F3DD534632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df549e387ce2553bafc26407747ecf69e8cc55cb","datavalue":{"value":{"entity-type":"item","numeric-id":4474210,"id":"Q4474210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4248534522968a69043725bcdc9402a685858813","datavalue":{"value":{"amount":"+0.8127957582473755","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":"Q2845491$B3B82650-6ACD-4FC6-B574-392376800692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486d5c88d1a1e744d0ef79c863f6f0b287e1435c","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d8812748b917631fc8b055ca0c7b7fb616485b","datavalue":{"value":{"amount":"+0.7972036600112915","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":"Q2845491$F1E9AAFF-E2D1-4907-BCF2-3C463C1C4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccedc3e28b0a17e72be8bd46d7c43af5d28225b1","datavalue":{"value":{"entity-type":"item","numeric-id":2431772,"id":"Q2431772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362aa37fd9efc68f22fa0f94f80e4ee3b5b18e54","datavalue":{"value":{"amount":"+0.7960846424102783","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":"Q2845491$660C3352-F47E-4B90-9680-0A21E7BDB0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c938c52490761c8d79353b8e87f7869d7e6179","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4e95a26a0bb23bb8a91aa730117943dc9a4b57","datavalue":{"value":{"amount":"+0.7881974577903748","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":"Q2845491$3FC43742-8C8E-4D9C-8657-FDFAFB6C1FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed explicit bounded LTL model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_explicit_bounded_LTL_model_checking"}}}}}