{"entities":{"Q3187012":{"pageid":3197720,"ns":120,"title":"Item:Q3187012","lastrevid":52601030,"modified":"2026-01-23T02:01:33Z","type":"item","id":"Q3187012","labels":{"en":{"language":"en","value":"A rule-based verification strategy for array manipulating programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6616884"}},"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":"Q3187012$A29C70DB-6778-40F2-BA94-741AF2D184B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb78217dd6eafb5371d35a112fc418d0da07b616","datavalue":{"value":{"text":"A Rule-based Verification Strategy for Array Manipulating Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3187012$B0FFEA53-588F-4ADF-82DD-9750DD2F2886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6957eda6fc52bcc2b2ff92aa00f3668bbd78cb8","datavalue":{"value":"1348.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187012$91EEC18F-2D4B-4B9B-AB1C-AAFF7808D0FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"094605eafbda2ed67038673e0d97b879c91892e1","datavalue":{"value":"10.3233/FI-2015-1257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187012$E39D762B-5347-47E8-A9CC-4CBE7714DC76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187012$7279ECDD-B936-4E8D-AA24-288A0D367F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187012$B9F14565-53C2-4B14-A3C8-4FE229963D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187012$2D3FC68F-87CC-4CF3-9D12-309984AE1774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187012$B12423BF-720A-4812-8688-3C644771E0F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187012$6922203D-C26E-4C0A-A8E9-93027637A5E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91194fb1548e86d700b6bf6e75988f059017c422","datavalue":{"value":{"time":"+2016-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3187012$80C91537-D17F-453F-874D-A6E4965E5146","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187012$A73B8D1E-FCF2-40FF-B1B5-379D4766576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187012$B5801A91-3437-4481-9385-FB8DAB8F5BF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73716a97854f3a70e725fe3d5fd01e0c2a4d5f79","datavalue":{"value":"6616884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187012$7534929D-22DA-4CE9-A9FA-B3C1EF5EBC6F","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":"Q3187012$729E38CF-C35F-41A9-A95C-92C8CA281EC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1930e07595baf1217d59dbb50444ab1cffc1b7","datavalue":{"value":{"amount":"+0.9169060587882996","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":"Q3187012$90D4E75A-1B7F-4FD2-A119-AD74F659F7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee746c6531125373d5cec015710b82e5e763adf","datavalue":{"value":{"amount":"+0.8815876245498657","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":"Q3187012$F0F1F111-D396-4C76-843F-6467282E2CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a4198aa867d02c3d5d0f50d44e8c9771862cd","datavalue":{"value":{"entity-type":"item","numeric-id":4994693,"id":"Q4994693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe0a49bb896f886122ea34b3d3b35a99e3db964","datavalue":{"value":{"amount":"+0.8792200684547424","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":"Q3187012$B8D60D75-74A7-4F76-B47C-C0A13473309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1770d6940472b7f992d7611c16e4384f14bf209","datavalue":{"value":{"amount":"+0.7744302749633789","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":"Q3187012$B8A492F1-BB10-47CB-840A-1316A4CA29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c56123246bfdafbccec12b34de610c57b3a6f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2949696,"id":"Q2949696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19af17414a7e5bc79e244f2c6467c3d219842ed9","datavalue":{"value":{"amount":"+0.7557390332221985","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":"Q3187012$68C408CE-7CDC-4772-BE07-32BB307B48E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3187012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3187012"}}}}}