{"entities":{"Q3608771":{"pageid":5638677,"ns":120,"title":"Item:Q3608771","lastrevid":50592113,"modified":"2026-01-14T12:18:25Z","type":"item","id":"Q3608771","labels":{"en":{"language":"en","value":"Logical Interpretation: Static Program Analysis Using Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523771"}},"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":"Q3608771$14F5D10B-72AD-40D0-8897-C53322468A7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03354d01862ed1f5ea7808cc4d8ca9ac414737a8","datavalue":{"value":{"text":"Logical Interpretation: Static Program Analysis Using Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608771$5756DBA0-2668-46BA-97BD-F42ACFEF5008","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04ff4f80465a5ea8465cb7246159cc43208a7d21","datavalue":{"value":"1213.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608771$B5A2888A-A504-4A41-BDF8-A14A0D6A1FF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38be9a10a2e7bfae54e365e53a9259fdde93e61a","datavalue":{"value":"10.1007/978-3-540-73595-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608771$41DBABF7-6DE4-4840-A281-2EB24DD6DD08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608771$FE8EC155-9ED1-4D47-941C-CC89540F16CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608771$23A9400C-91A8-4DBA-89C1-718BDA09AC4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608771$26D7F0C6-0936-4917-A3BC-E7DBBD02ABF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608771$1B87F132-09B5-464A-BCF9-D0272C46FC65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608771$40B6651B-4F14-4A9B-B663-B935BEBDFDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608771$D72D0849-67A3-4514-9AB3-147D390B34FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad6f22719fbf7a28f6b3e8babb76e63919a01345","datavalue":{"value":"5523771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608771$CA984F76-F983-48EA-B16D-5BAFEA5486B2","rank":"normal"}],"P1463":[{"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":"Q3608771$0026DF17-0A3D-4C9B-B73F-1589819384F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608771$CB1B646E-E212-4ADE-B1F4-5FEA7DAF61CE","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":"Q3608771$C59BFFC8-2F33-40C1-9E9B-49ECC39C725E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"867e259e42069dd98c6a40e84aa4099775e40ab1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608771$F7B4B420-ED26-4303-B8A8-081CADAB5AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b09c93154a6ba0c7aa7a5ac2949b123e9a26863a","datavalue":{"value":"W1503472559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608771$4EDF41F1-1F08-450B-A05A-967371D98596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0c277320db7ba64adc0af849bd44f54a8a7a61","datavalue":{"value":{"amount":"+0.8298581838607788","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":"Q3608771$33DEC945-2F88-4D75-814E-7631EEAC1F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ccdef6692d79408effbd90dcf7c5f72e1bda95","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49426ba1e99feae8e5c8ba103709c776f67029e9","datavalue":{"value":{"amount":"+0.8029248118400574","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":"Q3608771$89A8D93D-A24E-4D82-9CED-A48524F50503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afd0a4a9fa4070ce9c6838c5c7b7a1484bbaeb9","datavalue":{"value":{"amount":"+0.8005121350288391","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":"Q3608771$95FA16B1-F875-46F6-9E64-8214353989A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2c5da47390b2f6f3d270ec18bcb80adb9c0c92","datavalue":{"value":{"amount":"+0.786867618560791","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":"Q3608771$5FB178B0-B25A-487C-9BF7-AA687BF964F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9eee0932f4393493a17c3b621ed753e75045a1","datavalue":{"value":{"amount":"+0.7669022083282471","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":"Q3608771$6CA0A471-82BB-4BA1-A75F-6196D21D3C4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608771"}}}}}