{"entities":{"Q1895013":{"pageid":1905755,"ns":120,"title":"Item:Q1895013","lastrevid":74176914,"modified":"2026-04-14T18:48:02Z","type":"item","id":"Q1895013","labels":{"en":{"language":"en","value":"Consistency of formalized specifications in multilevel programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780285"}},"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":"Q1895013$2597C2E6-A173-495A-809B-B0BC04F685FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e147fbc7420f57b729062039da8d713c872a84d0","datavalue":{"value":{"text":"Consistency of formalized specifications in multilevel programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895013$FDCF61B4-53FF-4DBC-9B94-0F9DA27F7220","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d3d852276982662d3a0b506ac51f35d0808e411","datavalue":{"value":"0939.68704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895013$680CF419-9904-46EC-87EE-6208D64984D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d61418f7eda0fd7b7af40ad3a064e2848fc4de4c","datavalue":{"value":"10.1007/BF01132782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895013$9BDE2AAD-506B-4FA5-8714-D5C43E28B875","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f616b6f4fb12eb30a4b8489b9df3f4bf85da0a30","datavalue":{"value":{"entity-type":"item","numeric-id":1895012,"id":"Q1895012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895013$C4F34DAD-06BB-43F3-8B16-1EB32D1CFDD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895013$8F539A12-149C-4194-A950-8303C5EF24E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19216b5631ab2959a22cb1886f3fbbc3003fecf5","datavalue":{"value":{"time":"+1995-08-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":"Q1895013$F8A7A3D9-929A-41FD-92C4-FDD1D88D3740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895013$059BFC63-D18C-4959-BDD5-5838F03D72F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c110bedf27a761ddf4ee3be6652dfc5213a303f6","datavalue":{"value":"780285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895013$AC7A50D2-A762-4F3B-9186-BE5F8F1BE7EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e210680acb977ae8ff53ceec1b4141c05d5770e","datavalue":{"value":{"entity-type":"item","numeric-id":13968,"id":"Q13968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895013$BD63A26A-45D2-4518-93DF-FEDBFE88FA36","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":"Q1895013$2D77CA9D-35B0-4E7F-87E6-CE3802D70DF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895013$666589B8-6882-4971-B1E8-349FDF048CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency of formalized specifications in multilevel programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_of_formalized_specifications_in_multilevel_programming"}}}}}