{"entities":{"Q3630170":{"pageid":5660076,"ns":120,"title":"Item:Q3630170","lastrevid":50670146,"modified":"2026-01-14T18:15:45Z","type":"item","id":"Q3630170","labels":{"en":{"language":"en","value":"Modular Verification of Recursive Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5561121"}},"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":"Q3630170$521F76DF-5F4A-47F5-A547-6CB87A531E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"958c27b40b72cf21f383e79e8c69e5ae075bb89e","datavalue":{"value":{"text":"Modular Verification of Recursive Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3630170$5C87B5A5-21B0-4257-BE85-AFC5312C1ADF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f528dc90a4e6ae5f8cdea43d6807f7b06ddc4a29","datavalue":{"value":"1241.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$B7CD3B15-E5C8-4EB3-94B7-B2ACE93767F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"429476c46d86d4e359bde61724ae13b5cbdd5c67","datavalue":{"value":"10.1007/978-3-642-01748-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$12E7C919-4F13-4BBD-BFDA-5185A80F4A80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630170$0A444E9F-627A-4FC0-A36D-F0E5D67317D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630170$E5D83A23-96F1-4D12-B098-03C7601792FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630170$F85A1EDB-F22A-466A-B8C3-050D2D4E7776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52e316b21516023b3c91212b97ecc639cb0869ca","datavalue":{"value":{"entity-type":"item","numeric-id":3630169,"id":"Q3630169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630170$9E01A293-16DE-4B50-89F2-9EE79E6458E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a6677285d8a31111cdab31d48d7dc7630c702b","datavalue":{"value":{"time":"+2009-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3630170$AAB8964E-5A23-4EB3-B240-CCC8BD01993C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$109BD303-BFCC-43EA-9D15-4800639A94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$949C0CF5-D8FD-43E8-B4D5-019E6EAFD26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$9AEBAA98-0BB6-4006-A853-913CC8519642","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a24d46048ff5e232a152e022561edd71a3f72b8a","datavalue":{"value":"5561121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$B679077C-261D-4E21-AB17-74C20615AA90","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":"Q3630170$0121CFAD-5BCA-47FE-9F19-0895016716E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89415da5fbc684ffd8447823a81d7999b1ea89da","datavalue":{"value":"https://doi.org/10.1007/978-3-642-01748-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3630170$887F80BB-98A6-466B-9492-5BEDEA73BFED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf210c05320bae55dcac90ec32f82b544fcb1774","datavalue":{"value":"W2113755395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630170$6BD202DC-C561-4EE4-871F-027E7B64A6A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9592b5992f08e8caf446efb2155e542795f799fc","datavalue":{"value":{"amount":"+0.7957144975662231","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":"Q3630170$30A90779-91D6-460F-9F8C-0F00B6B07F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60602316023f75163a19dfb79df665cbdd787249","datavalue":{"value":{"entity-type":"item","numeric-id":1096378,"id":"Q1096378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6bc76b64424cc4b67bf4c713097a439c08f4d3","datavalue":{"value":{"amount":"+0.7840546369552612","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":"Q3630170$3BB021D8-CB04-4EB8-AEC1-E2CCD1F601DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa45e1720565714eacb2a6ab9a8ca046e7056bd","datavalue":{"value":{"entity-type":"item","numeric-id":2026813,"id":"Q2026813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d11daf6daf660673c181c4c6e557e76a2f7c9e","datavalue":{"value":{"amount":"+0.7744254469871521","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":"Q3630170$56A8DB29-6C4B-4EE7-B8BE-2507538CCDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d152011806373fa2ee4e82767b30f69661d791dd","datavalue":{"value":{"amount":"+0.757373034954071","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":"Q3630170$82E4E021-6B87-4FA5-A300-C91D2207EC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a85d5eaa5026aae2b79cbf852b48788095678a","datavalue":{"value":{"entity-type":"item","numeric-id":4028366,"id":"Q4028366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76f98e783edb8dc7f6c58fd0c4676d759ad7b99","datavalue":{"value":{"amount":"+0.7567339539527893","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":"Q3630170$077D1A04-08C5-4EEC-A341-8732C1CAB61F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3630170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3630170"}}}}}