{"entities":{"Q4239469":{"pageid":6269070,"ns":120,"title":"Item:Q4239469","lastrevid":46746636,"modified":"2025-12-25T12:37:10Z","type":"item","id":"Q4239469","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1278791"}},"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":"Q4239469$6B7AB6D9-FD44-4B4B-B4AC-4CFB59E0E903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"159e3f7c32183d35a6f0548449249c9d2e2c89d0","datavalue":{"value":"0933.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239469$BB340038-886D-44CD-B509-67C0D5355390","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46084c0cca4c70298f0aae77250f85fb8ee886bc","datavalue":{"value":{"entity-type":"item","numeric-id":1427779,"id":"Q1427779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4239469$50B91694-9AFA-444B-9D67-DC77F1E28C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa2e5e35d3f24c6f7bef23b8c15234f371e216b0","datavalue":{"value":{"time":"+1999-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4239469$86CAFFAB-96AB-4872-8FB0-AD9134296863","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239469$D57A28B8-07FF-4E8A-91E9-9D3509D7E8A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6b6e8e9df20b25476a944a8620eba03be5dc3ed","datavalue":{"value":"1278791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239469$C8CEE00F-BA2A-45E2-8465-03370D9DD337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997c95a9dde0d6aa0bcbd28dab28f4935918dfd6","datavalue":{"value":"formal verification of software","type":"string"},"datatype":"string"},"type":"statement","id":"Q4239469$6B800A41-2741-4CBA-AEE3-678C528EEAED","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":"Q4239469$826B73FE-7CDB-41BE-A733-6E98DF0E1149","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfa28fac52de4cb8dd874d1704fa37777dc6bc7","datavalue":{"value":{"entity-type":"item","numeric-id":3773309,"id":"Q3773309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78eecc5758047df6d505b8d92152211c8b0a88cb","datavalue":{"value":{"amount":"+0.7556183338165283","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":"Q4239469$075C719A-06AD-4E8F-8CEB-0AC69FB9B88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355c60d759ec15fa4d6d7440e68b5c79e8bf1bb6","datavalue":{"value":{"amount":"+0.7396975755691528","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":"Q4239469$8C12DCC2-1837-401D-AA2D-C1AFA797F178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b433e20b9748f2aa8272f33d5db26052e1463b2","datavalue":{"value":{"amount":"+0.7360438704490662","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":"Q4239469$0F07609A-3B8C-427E-B46B-F1104637C629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a41645e3a1bedf1dd52387a6e59bd1a172bab6","datavalue":{"value":{"entity-type":"item","numeric-id":5072544,"id":"Q5072544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703e7a708a53213208bf5ca492137ddbfc4cf1ad","datavalue":{"value":{"amount":"+0.7310322523117065","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":"Q4239469$06ADA2A8-9F76-4AB4-BD4E-C65328E6CC5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4239469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4239469"}}}}}