{"entities":{"Q396975":{"pageid":398742,"ns":120,"title":"Item:Q396975","lastrevid":61524360,"modified":"2026-04-10T23:56:10Z","type":"item","id":"Q396975","labels":{"en":{"language":"en","value":"Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330453"}},"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":"Q396975$AE2857B8-4966-4FD7-BB61-60982CC2493B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"685ea7d51e6b7937bd84698a1c9bf7dffa93fe32","datavalue":{"value":{"text":"Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q396975$DCC55A1C-550F-438F-A60E-FB7965117313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efdad5d157bdce9cde4eb47c52e83ebdbc9d7470","datavalue":{"value":"1293.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396975$1A0E64DB-8354-449B-8289-599C2B976A51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396975$F30352C3-600B-442E-B73E-0B23FEE8F39A","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":"Q396975$1A2B92F6-CE6D-4EED-A932-687594CEDD6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q396975$74157CB2-FE94-4131-85D0-69EA49B34A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396975$0A5111D5-89DB-4AD7-B6D2-B7F6B9E94E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396975$927E8539-8E84-471F-83C0-4A7510E31FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396975$C602106C-E8CE-40F2-8C68-05798B10EE9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e103302fabf69349cc3730b7b0b39873bbdb246","datavalue":{"value":"6330453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396975$3A1A1444-F924-4A76-9BEE-8A773DC5F693","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":"Q396975$53F391C4-A945-4730-B92B-907C78F8BAA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74e4ec3da39218de1f719ef95554bf26a50ad078","datavalue":{"value":"10.1007/BFB0027453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396975$2DD3B2E6-C3BB-4501-BB00-D0350762EC39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03562a22ba3d198d49b75ea6f4030f98d9dbeff0","datavalue":{"value":{"entity-type":"item","numeric-id":2842861,"id":"Q2842861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5b9d98bcc961bf41c479531118efcd70f55aca","datavalue":{"value":{"amount":"+0.7707289457321167","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":"Q396975$28508822-DF6D-4191-AF0F-7B85E4C6775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d812e8c19d564aacecadf6c55165f1d4437a340d","datavalue":{"value":{"amount":"+0.7685120701789856","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":"Q396975$575FA625-9436-496E-B52F-A8C2430C18AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4745acb3acf53ea2b8529872283d51c5409e9059","datavalue":{"value":{"entity-type":"item","numeric-id":4315825,"id":"Q4315825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc4d0a0175d2000757172d285e4e10ad184cf0a","datavalue":{"value":{"amount":"+0.762736439704895","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":"Q396975$6AC1E2A8-CD10-4063-BDBC-D57A10375864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce75845ab1e12a3829f9ba9e90080e8bf956028","datavalue":{"value":{"entity-type":"item","numeric-id":5696931,"id":"Q5696931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b242f2496f882ab8066a739b3486739cc33b255","datavalue":{"value":{"amount":"+0.7625637650489807","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":"Q396975$F8DB8FB4-8BBF-4B51-A982-A4ECDED9E777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0cd586aabf9acc9c187a4478f99035269342aa","datavalue":{"value":{"entity-type":"item","numeric-id":5179355,"id":"Q5179355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03940e94cd06ed57bcbf579a6e6017760559949a","datavalue":{"value":{"amount":"+0.7595188021659851","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":"Q396975$1205A06E-3180-4A3F-82A9-3F94DCD69437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_compiler_verification._A_refinement-algebraic_approach_advocating_stepwise_abstraction"}}}}}