{"entities":{"Q2106598":{"pageid":2117341,"ns":120,"title":"Item:Q2106598","lastrevid":55427521,"modified":"2026-02-17T16:10:01Z","type":"item","id":"Q2106598","labels":{"en":{"language":"en","value":"\\textsc{Prawf}: an interactive proof system for program extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633503"}},"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":"Q2106598$F9BCBA9E-141A-437F-8C6F-13CCCEE032DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c34575f63f2323159db215de76cd9a0bed0de22c","datavalue":{"value":{"text":"\\textsc{Prawf}: an interactive proof system for program extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106598$C2BD66EA-F007-43A8-B6ED-35A169445768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa7ccc36d9a91757e3c39720fba91f086975f608","datavalue":{"value":"10.1007/978-3-030-51466-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106598$295FC161-C798-4EB1-8378-B5A5BD7E5D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$CBE6BE99-FCD5-4474-9B9C-2FDF63B08B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9839f5f1ea45e75034218d0db6bb60bd39ca129","datavalue":{"value":{"entity-type":"item","numeric-id":1670721,"id":"Q1670721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$BEF595AB-1D87-4716-B51B-9EA83510730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23c9d3ffaa6f717d6ff9c43e4927c20484f70f40","datavalue":{"value":{"entity-type":"item","numeric-id":265833,"id":"Q265833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$E87C21FF-0A32-4842-89AA-0F68931657C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9acadd84a8b0de963ab68148d6ca934fa0ce41f5","datavalue":{"value":{"time":"+2022-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2106598$0E1FAC7D-0720-4BF0-8ABC-264EFFEC3081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106598$B5766123-123A-477F-9CE9-2B8DE8586336","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db4abd29c793064892824a352eb614a355a63111","datavalue":{"value":"7633503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106598$676E0A19-64F8-4428-9CFE-205ADCD26548","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$223701FF-5E6E-4E34-80C1-31C6DD88F2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$D0389EEB-2327-4515-8068-D804459551E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$0A0E7CF9-BADA-4771-A164-EA22DA12709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$D29BFFB4-17E1-48CB-BA90-7B0CAE6C106B","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":"Q2106598$D818B732-2B54-4C05-BA5E-D0C62A8FC515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e0124b1346700132057f7c901d653abf1c21339","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51466-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106598$56A6A89B-572D-432B-B423-A2450B15412E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6151fcb36e0e075be09421c91ec8a1b02ed84e45","datavalue":{"value":"W3037147088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106598$7F968D1A-427C-4C3D-B46F-BD412D4F9DDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78397a6b6e42b69903bd088b28039405be6568a1","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$504C9EB0-1CB6-4C6E-A96C-6968C8684BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af89c59f1f5f834f23b332093d0e5bf56a577458","datavalue":{"value":{"entity-type":"item","numeric-id":3090883,"id":"Q3090883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$85466BB6-6F77-4BE1-BAAD-B8B24540E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939554b126bd88b456fcb3b899832a2dc042bdda","datavalue":{"value":{"entity-type":"item","numeric-id":1670722,"id":"Q1670722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$1E69E46F-FC1B-46BB-858D-6B58360C9E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8be793d43ccbcec7fd4c624e4436431c592807","datavalue":{"value":{"entity-type":"item","numeric-id":2220485,"id":"Q2220485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$14B73786-A85D-4C9E-BC8D-35E92789B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$7960F60D-5BDB-48F1-8BAA-14E3E3E5AA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9a8987a7d8efa9b320ab9f4c18049ee75db52c","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$4932AE7E-BDE2-467A-911D-F83D367F30BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e004f1af40a576624071e73fa924df0213321","datavalue":{"value":{"entity-type":"item","numeric-id":1607300,"id":"Q1607300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106598$F61C84A2-2E6F-4F87-A612-0308BAF9BB24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc18ee63967d27b68bef5b3a1749be5e3c0935e","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045109d96d80a6f6a0a4568a0f305658ed913d4e","datavalue":{"value":{"amount":"+0.81566321849823","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":"Q2106598$679C6AB2-26EE-4E2A-BA15-DCF04E0410AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7f27a9de87fe15ba88974d63a5bc2bbee7f66f","datavalue":{"value":{"amount":"+0.8133499622344971","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":"Q2106598$882E9A35-B531-4EE3-8CCD-7E2ECEB80E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0da21aa751d37c221d23fd30b41892443ecd06b","datavalue":{"value":{"amount":"+0.813021719455719","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":"Q2106598$55308191-CD45-4B7D-A972-4096D155DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43c8caecbde7694f12ec3164da9e4d96d586bac","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1335a8e1be4f298f78b2fbd233bebb9bd9298460","datavalue":{"value":{"amount":"+0.7970970273017883","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":"Q2106598$FC6F3248-B75F-4FC7-B645-448CC99C85C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126be7296d6b7110e1000144e41a4b9d8fcc6ece","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e9ed0b4b1dbc7bc585b145de2c178c683cdaf7","datavalue":{"value":{"amount":"+0.796707034111023","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":"Q2106598$22BAD400-5A13-41CD-B292-28CF0F74D9A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2106598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2106598"}}}}}