{"entities":{"Q2848673":{"pageid":2859393,"ns":120,"title":"Item:Q2848673","lastrevid":51834698,"modified":"2026-01-20T06:53:08Z","type":"item","id":"Q2848673","labels":{"en":{"language":"en","value":"Bounded model checking for all regular properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212124"}},"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":"Q2848673$33A58E15-9A0A-48FE-90B5-7FCB3D6EE0A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe5279672ebd1f287803b6dd354dab17b5daa6db","datavalue":{"value":"1272.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848673$2DDFDF64-C878-4626-BF43-F75CD17E9AC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d2a3d80eb4654586121b0071a5239cdc2c998b","datavalue":{"value":{"entity-type":"item","numeric-id":2848671,"id":"Q2848671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848673$4A3C8EE3-344D-4FF2-9210-0BE025667E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848673$9A2F7DA1-AEEC-4FEA-9055-623DEAD41C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848673$0B39CBDA-3886-4681-A6EA-DFBADC1C12EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df46e4bfdf6d7b3362dc7644ea9e73e7fd1d9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":2848672,"id":"Q2848672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848673$7882C1B8-7E12-45B9-B90F-634C6507B905","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848673$DDC72972-D019-4B52-A9A1-17913FE91D78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df2deaf677087e22d62ca8b4c65a81522accba1a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052400","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848673$6B78DD4C-F3EC-49EE-B02A-33F41E5EF12D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848673$F90D0A8A-A09F-4297-9441-F02F81D4FC51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f621199a20ce8a1c7cc1b2a04825fa7a458165e","datavalue":{"value":"6212124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848673$863F06D9-1036-40F9-9CDA-F250676EFBA3","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":"Q2848673$B5D90E4C-2411-4011-9916-72D9FB9460A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"135601b9fa69506e0da6d25e7acf720310d3c858","datavalue":{"value":{"text":"Bounded model checking for all regular properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848673$00C7E2E9-B1FE-437D-8AA7-7C0D08DDABCE","rank":"normal"}],"P1643":[{"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":"a2058be659edff0155aecfcc63f74a9e45e97e60","datavalue":{"value":{"amount":"+0.8173100352287292","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":"Q2848673$62C58546-59F3-408D-9BB1-B80FDE711D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272e7821a32f86633ac4b1a9c36da0f7475d276f","datavalue":{"value":{"amount":"+0.8117949366569519","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":"Q2848673$6872B6F0-408D-401C-9328-CE2C86869FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bd400e6813c779b6219d6a91ed203a5620d733","datavalue":{"value":{"amount":"+0.8108137845993042","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":"Q2848673$512A582E-9891-4EEE-80D1-E33B9CDAFBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6989baf3e5361c4627c3ca7daf389b96bd558bb","datavalue":{"value":{"entity-type":"item","numeric-id":364388,"id":"Q364388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9d42f9ed32b69dc4fd20c71c285273b13e773b","datavalue":{"value":{"amount":"+0.8098887205123901","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":"Q2848673$5A228B37-944E-4F26-86D1-E1528CA2F3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1416737e547dd5fc391bb2695437a390cc7356d3","datavalue":{"value":{"entity-type":"item","numeric-id":5312947,"id":"Q5312947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2957998d285a25bc6506fa5a0da272c0cd706c","datavalue":{"value":{"amount":"+0.8090663552284241","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":"Q2848673$403C6C0A-2F48-4E65-A352-39B706C57931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848673"}}}}}