{"entities":{"Q2907330":{"pageid":2918055,"ns":120,"title":"Item:Q2907330","lastrevid":51548660,"modified":"2026-01-18T17:57:01Z","type":"item","id":"Q2907330","labels":{"en":{"language":"en","value":"A system for axiomatic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079504"}},"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":"Q2907330$7FDCA5B7-21E4-49CA-8440-6FC3E23B8BAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"698d6c1b40838359956525180632fdfc9b098e97","datavalue":{"value":{"text":"A System for Axiomatic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907330$B2DD3D7A-053F-442D-87F0-71BC96C2349B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df37c124cd21b301dc60962f54e27ff0642057ef","datavalue":{"value":"1360.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907330$CF672524-37FB-42BA-AF00-CB868231479B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8fc4ea7aa10130a4956efb06f04945091e1736d","datavalue":{"value":"10.1007/978-3-642-31374-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907330$29FCB21D-1DBE-443C-BBF8-4F1E3F0D5AE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d084f262f5b315139903764cffce5d4742366f5a","datavalue":{"value":{"entity-type":"item","numeric-id":359904,"id":"Q359904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907330$4D22B742-8B1F-4684-B94B-DD99A3EFB880","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":"Q2907330$EBD78041-0F6A-4D45-BFE6-D1F4396E31C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907330$19FEC64E-1D8C-423E-B210-65AE8D259C67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907330$58CA0E8D-663C-4CE3-B01E-C9C6331113BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907330$88C6627B-9F4F-471E-A421-D8710D6DD304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d25e91720818d8ef30f9ab40574ba97e8f6047d7","datavalue":{"value":"6079504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907330$503F841D-89B0-4774-A03E-8A263EC22A31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e33638c86f3c05d458e62c0a83dcc72f2a0d42ef","datavalue":{"value":{"entity-type":"item","numeric-id":13189,"id":"Q13189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907330$51EDCE70-3A23-4821-B465-E9609355AB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907330$BB2BDA0B-C2A6-48E3-8FDC-85FC8120842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907330$3866D1F4-7088-4FAB-B9BE-4FDB0CC1B8D4","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":"Q2907330$B53545C8-2363-47E2-B2DA-18C7F6FDC639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4387e3d22ac9ea1e203dbe0b98d1b8efa878ffb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31374-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907330$D8EAEB15-89C9-40B1-ACE5-A678E66052F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdaf77ce4ff9d9c3b747364f72d323e4ae352f7c","datavalue":{"value":"W1861268368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907330$2966D17C-1626-4E75-B5FF-FDA393B45EC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9a87e81dc447dc6d14dfa905f1df64f4ae1540","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774538a142b616ba525f4226cc66e24bd5de97eb","datavalue":{"value":{"amount":"+0.7191590666770935","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":"Q2907330$32666A66-CA0E-487B-B93E-49327D6B44AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c05edf03180836f0a3864e2bf286ec0fcc28506","datavalue":{"value":{"entity-type":"item","numeric-id":4232479,"id":"Q4232479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774538a142b616ba525f4226cc66e24bd5de97eb","datavalue":{"value":{"amount":"+0.7191590666770935","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":"Q2907330$A1CE3BEE-B395-4433-B8AC-6CBBBC59C6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992c6d71b44c1d68d8fc67a1d1533e98c8963ff","datavalue":{"value":{"entity-type":"item","numeric-id":3793703,"id":"Q3793703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9d52a9976261f4caabb3f5c351d8a8636de09f","datavalue":{"value":{"amount":"+0.7134697437286377","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":"Q2907330$3F5AE111-CB97-4899-9448-ED039D6C2479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a39a2cb9e8db094cb4da26da228b833592e4016","datavalue":{"value":{"entity-type":"item","numeric-id":796289,"id":"Q796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfeff420bf0ad8905aeb3a3bfa6499171c2f06a","datavalue":{"value":{"amount":"+0.7110326886177063","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":"Q2907330$B306DC32-A115-4ACA-A971-20A9B21AE5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b8b934687b598892a856fe4e2ee60cf7e39cdc","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfcc3c40ba0f1ea1f5c22bbb595611a116abf1f","datavalue":{"value":{"amount":"+0.7081663012504578","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":"Q2907330$E47178B4-2991-49B7-87DA-3FD73E142292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907330"}}}}}