{"entities":{"Q3077274":{"pageid":3087990,"ns":120,"title":"Item:Q3077274","lastrevid":86342858,"modified":"2026-06-03T18:57:40Z","type":"item","id":"Q3077274","labels":{"en":{"language":"en","value":"Programming language elements for proof construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5855017"}},"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":"Q3077274$BF614049-C7B2-459D-A409-F75D07111568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a7fa6147a655b8a929d4045c8f51f4382959a47","datavalue":{"value":"1224.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077274$F1FF1DE1-2DBB-4BB2-98DB-4D5C581100C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9577532e0e4fcad946e332569a10f47f673013ad","datavalue":{"value":{"entity-type":"item","numeric-id":2898787,"id":"Q2898787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077274$EEBEAB34-4B2C-4163-8BA1-06E1A493247D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ce7f58682413436d8d8499ec31fc1f8f2a5d305","datavalue":{"value":{"time":"+2011-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3077274$0A2D3EED-0DC4-4962-9729-155A0816D91B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077274$AF285AE6-00FD-462B-93AB-9FEE4516A58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077274$0B63EFB0-D578-47B2-B1B6-A345FDD3657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077274$4EDC414F-14B3-47BA-8DB0-1AB2B32811F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c21a5cc2e347875090d4b3578a5b7c31b58f26e0","datavalue":{"value":"5855017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077274$2CA96583-907A-4FB7-9734-2091269674A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebcb3e967d7f344660d4e6719070e8abab46ff77","datavalue":{"value":"proof construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077274$65F596DE-D9CE-4B87-AA61-60C1F36D6845","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077274$E3228F89-5BC2-4CFF-96E6-B7F8844B616E","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":"Q3077274$338F8FF4-6FB3-470A-AC90-FF4E697CB42B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d5a3ac333c1f515b93cc74ab7c13c8aed9af4f","datavalue":{"value":{"entity-type":"item","numeric-id":3615276,"id":"Q3615276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc51181547f2aed68420ae697800e1fe68b628b","datavalue":{"value":{"amount":"+0.7805250883102417","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":"Q3077274$DC5160E9-6E5F-4526-9645-25C820EE775B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7fcc1a554e987873178da1ef03ae2629cfbc5e","datavalue":{"value":{"amount":"+0.7294588088989258","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":"Q3077274$56B3E0F4-A486-48D2-B0B6-B678BAF70276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbcc4a2aa7acd0897e66205d300df4c611fdb18","datavalue":{"value":{"amount":"+0.7192380428314209","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":"Q3077274$CB089F1E-4843-47A1-A414-865B86EC5F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6dcb26f81f28ca3adc206ce4640d34ec6e1800","datavalue":{"value":{"entity-type":"item","numeric-id":4716201,"id":"Q4716201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085f0472e95ead262558346d6eba6a638e4b987b","datavalue":{"value":{"amount":"+0.7129127383232117","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":"Q3077274$D3392F87-8803-46BB-BCA3-1F92C8E4EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7e631304d1ce713a79034c518a897813d0ec11","datavalue":{"value":{"entity-type":"item","numeric-id":789887,"id":"Q789887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7545069c29e27ba023754bad70bd9dc82a6898","datavalue":{"value":{"amount":"+0.712040364742279","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":"Q3077274$42EBB37E-3627-4C71-912F-E891605C0AD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming language elements for proof construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_language_elements_for_proof_construction"}}}}}