{"entities":{"Q5305656":{"pageid":7335230,"ns":120,"title":"Item:Q5305656","lastrevid":50937317,"modified":"2026-01-15T20:16:18Z","type":"item","id":"Q5305656","labels":{"en":{"language":"en","value":"Unit checking: symbolic model checking for a unit of code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686007"}},"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":"Q5305656$D111D89D-A236-4BBA-89A9-A1DEAE819784","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19ae24441913cb26b5e3c3e3091d33de7d326442","datavalue":{"value":{"text":"Verification: Theory and Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5305656$1A3E7A31-D6BE-4B27-A412-BBE414D85ECF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40d50b9f197602798f30f39f3a670d320e9f57dc","datavalue":{"value":"1274.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305656$F31A93DE-FF6D-4911-B15F-65C5D26FF57A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305656$3B21F247-3BD1-4010-8820-83ADFB7F3753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305656$4F9F2A27-C3FC-4190-8398-47742577D9A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305656$294E83C8-3877-44F1-ACCD-A64B74DAA7CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04667758ca402825b85eb8236fc52c2cb97a4477","datavalue":{"value":{"time":"+2010-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5305656$F45FA12F-E40D-416C-B14B-633A60ECF631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305656$1CBA9498-0E10-4ADA-B33B-199C8B20DE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305656$69DCDC0D-3FA1-4216-B8E2-1451D7684E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4d5a79ea1d95e6128dac113257c0a366b1e25b3","datavalue":{"value":"5686007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305656$06126618-4407-452D-BACF-6D0A4A838833","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbc86243be83eaebc3211af42c1ae1de02648ae0","datavalue":{"value":{"entity-type":"item","numeric-id":17050,"id":"Q17050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305656$F61623BA-AFD5-474B-9AAA-0D356375FA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5305656$D99F26FB-5E0B-47D9-A2F2-C1A61FB8AB2E","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":"Q5305656$9C5FD35B-378D-4345-BC89-77F5B741499A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05ebb71e054470a0072332415944e2f3b0e63b73","datavalue":{"value":"https://doi.org/10.1007/b12001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5305656$ACB5652D-0B29-49F7-BF77-4DF558307DE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b2172af60a018bd1bac6a0747828428d9e3f990","datavalue":{"value":"W2483649756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305656$D3A6306F-599B-4C5A-B835-ABD320DDF371","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff9106ae7b59b411fabd677cf1f3a1876f996e9","datavalue":{"value":"10.1007/B12001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305656$50BC17F8-EF2F-4343-ACFD-79C01681688C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de450abf9babab63e4876daa04dc1e1dff7a352b","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83035f39f4f7275eb3cf8b645a1d20e1d4ce4a4d","datavalue":{"value":{"amount":"+0.96117901802063","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":"Q5305656$4D82A39D-A720-409C-BF13-B9607C73D5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7295240d2303b6be644b454b24e1b6fd1eaa91a3","datavalue":{"value":{"amount":"+0.7367766499519348","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":"Q5305656$68FBCBCB-4299-4832-890E-EA98AC9D9FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f683277b3c94eef63b2f7fb5ccc2a8f7c8b4307c","datavalue":{"value":{"entity-type":"item","numeric-id":4440828,"id":"Q4440828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75a016850acb38d3f486ffe4f1e5896ee0ca2d6","datavalue":{"value":{"amount":"+0.7244577407836914","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":"Q5305656$4F65C1B7-75AB-4918-9DE9-C2267295CBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd81514f45a2a6cf12422056bc150d302a5caea","datavalue":{"value":{"amount":"+0.7230129837989807","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":"Q5305656$185B85F1-BCE0-482D-8C21-33FC0F586621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cd1bcaba57ac722cc1402854334ef1026f6e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4808833,"id":"Q4808833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd81514f45a2a6cf12422056bc150d302a5caea","datavalue":{"value":{"amount":"+0.7230129837989807","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":"Q5305656$8EBF768B-7FB8-4535-B516-A883853B3DB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5305656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5305656"}}}}}