{"entities":{"Q2845505":{"pageid":2856225,"ns":120,"title":"Item:Q2845505","lastrevid":83491733,"modified":"2026-05-07T08:24:16Z","type":"item","id":"Q2845505","labels":{"en":{"language":"en","value":"Transactions for software model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203485"}},"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":"Q2845505$F76D0273-00CD-4A26-A7F0-EB5E60C054E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c41a893a1a3aeb113e2365c1d63c0e1a5db703ec","datavalue":{"value":"1271.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845505$D6CB43D6-04C9-4249-AA98-D0B32641FC5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845505$C2D200C2-45E4-4C67-AB13-EE15A1FCF061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845505$B4C04AB6-15DE-4EAF-8AFC-BFE3310FC5D2","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":"Q2845505$CC081FA4-A9E1-433A-B7CC-F02CFFC8F6A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ace7da4750cdeedc1a80e12b51fe802131149eeb","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825605","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845505$A621E49C-93F8-48E6-A1E5-1F862203666E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845505$D35E0AD5-6A13-45E7-8982-FD0055383609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845505$3130CDD4-BE0D-4D99-BFAF-40C422143642","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a2b7ae631c0aef695e3b32dbfc72eebee8dc9b","datavalue":{"value":"6203485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845505$7030A840-D5B2-45E0-8289-0AB2D7A5F001","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":"Q2845505$98B0C867-DA51-4D09-9D95-C1A7FDB1AA6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2fb2d96afed1535b27a8e57dcda1142b297fd3","datavalue":{"value":{"entity-type":"item","numeric-id":2377134,"id":"Q2377134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e6d8704d0d1422619d17858bc3d647db72fdb9","datavalue":{"value":{"amount":"+0.89657915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845505$C59298EB-DD9E-497B-842A-C52816919B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ceb180280a9081f5116b19ae8f283befa26e536","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22204e68373b81bf89ab1f7ac86da19facb2de43","datavalue":{"value":{"amount":"+0.8763466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845505$DF261797-BDD8-4D50-93DB-67CE3B38390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22204e68373b81bf89ab1f7ac86da19facb2de43","datavalue":{"value":{"amount":"+0.8763466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845505$BEB0FC7C-B7F7-411B-9DA7-4CBFF2C6D37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9b081f2908c908517114ebbd189e30484cbf58","datavalue":{"value":{"entity-type":"item","numeric-id":4417841,"id":"Q4417841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91179f2b99aeaa024b3431f3e21e649d60045bb7","datavalue":{"value":{"amount":"+0.8669151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845505$2D505DE7-1B32-4544-9433-9AAD81639A6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97f7f5ae1f0cd465202ba4963eee9a8f6a422472","datavalue":{"value":{"text":"Transactions for software model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845505$118CB77B-82D5-4632-B18F-A469D6B93F9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transactions for software model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transactions_for_software_model_checking"}}}}}