{"entities":{"Q2908493":{"pageid":2919218,"ns":120,"title":"Item:Q2908493","lastrevid":79823846,"modified":"2026-05-06T14:47:30Z","type":"item","id":"Q2908493","labels":{"en":{"language":"en","value":"EPR-based bounded model checking at word level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076909"}},"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":"Q2908493$8E94FFAB-64A7-43FE-B165-42C473E8A8FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ca99990a67345dc193f1d5709870132551f8e35","datavalue":{"value":{"text":"EPR-Based Bounded Model Checking at Word Level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908493$4C77D945-0E52-4E3C-ADE0-003DCF9E4389","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc9ce6394afaaaea0736e429a4ab1d3bfe415129","datavalue":{"value":"1358.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908493$1117C2B1-A453-4185-995D-68E44235CC7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c449bcd424dd6693f1cdb09badb2faac8b02bb7","datavalue":{"value":"10.1007/978-3-642-31365-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908493$6F764E0D-F5B0-49A9-B059-6CF4F8EB6B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22a155ef6df4da03d9db58fe76ce5ebaedebe77f","datavalue":{"value":{"entity-type":"item","numeric-id":2908491,"id":"Q2908491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$616CC0CC-5276-4FD6-BFED-5DA13A802DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$3015BF85-A831-487A-A87C-C6ED4F55B5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"789b4861f65a07830a1cc39e2d392c6f0d54926c","datavalue":{"value":{"entity-type":"item","numeric-id":2908492,"id":"Q2908492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$8C4A3AAE-46B2-4900-AFFC-0415317B351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$D71B0C25-C07D-4740-8340-8CBD7FF27851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ea29f34af1ee45ad2057a2024c5255e1232d44","datavalue":{"value":{"entity-type":"item","numeric-id":526773,"id":"Q526773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$0260612B-105A-4631-B2D0-5D977C871126","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$F3790BE2-2B51-4AF2-ADB2-6154235560AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908493$051460AB-04FA-431F-9D8E-4F436C47B778","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908493$4394C34E-01C6-4F8A-B1BF-B59EA20F16DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908493$50F3B716-DFF1-4D97-BD16-70696C571CC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1630d11c55885893349372945ef0ad967a5ad80f","datavalue":{"value":"6076909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908493$F5BCC99F-4D4D-4A99-9C76-D4B5FBB2D398","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$E1AAC9F6-A3EF-419D-84F7-BBC425CF04D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ee2b7d493ab237d6585112292121d99fd0065df","datavalue":{"value":{"entity-type":"item","numeric-id":18477,"id":"Q18477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908493$79EFA216-EF9C-48BD-BCB8-AB350C0913ED","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":"Q2908493$8AA30F27-9904-49B9-BE8E-DF6EFF16597E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af69fe7b5a942d373b0448f7c286cda782bb921","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908493$A096620A-7232-430E-94F3-FA01C2D779DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d5b0e8f495bca1e21fd5d146bcb4ebe29ed52aa","datavalue":{"value":"W1540069634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908493$24140D6E-E6A7-47BF-ADAF-A703ACCA0584","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d41e83c5b8c36bb26f88ebcbd122fd1d3af1","datavalue":{"value":{"entity-type":"item","numeric-id":3608783,"id":"Q3608783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f650f29539b4e0a74d296305001416a9cb9abcf1","datavalue":{"value":{"amount":"+0.8001099824905396","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":"Q2908493$D37CF522-071B-47E8-B24A-D09F21B7EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce1097c6167bdccb5f2d7cbdc69f8c9f518514","datavalue":{"value":{"entity-type":"item","numeric-id":1039855,"id":"Q1039855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2fa2b3175443d3921e9b03f97b5d7a27898aeb","datavalue":{"value":{"amount":"+0.758360743522644","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":"Q2908493$048478F7-6139-45A1-BA53-D9BD4287106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315b007e017aafd2456b86e16348f6a119be0af8","datavalue":{"value":{"amount":"+0.7563080787658691","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":"Q2908493$CEB4E458-C73B-4929-8C08-7F27338B4E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afd98e7a4cd285e3fe77b9a643ae5771cf34322","datavalue":{"value":{"amount":"+0.7557454705238342","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":"Q2908493$F1BB8CFC-6245-4782-B1B7-CC5B863EB919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4991955d9137702eefe6b3a52e21f2b4b901f00b","datavalue":{"value":{"amount":"+0.752014696598053","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":"Q2908493$14F14288-2DCE-4C03-9A81-A725AE523321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EPR-based bounded model checking at word level","badges":[]}}}}}