{"entities":{"Q3426132":{"pageid":3436835,"ns":120,"title":"Item:Q3426132","lastrevid":80456006,"modified":"2026-05-06T16:14:18Z","type":"item","id":"Q3426132","labels":{"en":{"language":"en","value":"EDUCATIONAL PEARL: \u2018Proof-directed debugging\u2019 revisited for a first-order version"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5131960"}},"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":"Q3426132$0677D863-1A4B-4E26-8BCF-147EBC526946","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93655dfedf5eb6d4247c28e9e51d22050bbad45c","datavalue":{"value":{"text":"EDUCATIONAL PEARL: \u2018Proof-directed debugging\u2019 revisited for a first-order version","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426132$09965172-8362-4B6A-ABD1-E261DC324452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"348899c5438c6be6e401905f7028b36bdd72764a","datavalue":{"value":"1107.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426132$41A40FBA-0A65-411B-B2C9-10A64AADA72B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02ca1a2fee4bf49fddc66b80249c1457fd2b5aad","datavalue":{"value":"10.1017/S0956796806006149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426132$306EC1A8-B31E-494A-8A1F-7B76EE5CB5C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426132$9BDAB23E-06E1-49B2-9FB5-D43D169034F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426132$826F7AE5-314A-4EEB-A64A-FF70C3A958B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98de7ac5d0d4ff1396834df23ff7caf6645b6ad9","datavalue":{"value":{"time":"+2007-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426132$2222C1DF-EF42-4B00-A41B-A56FBE73B45F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426132$D836A4D1-08EF-4E79-B006-1A24E5932CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426132$80FB6528-B070-4395-B07C-61E129397BB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549b06b8aaa9cccd9fff2ad4b84c7ef145b8b89b","datavalue":{"value":"5131960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426132$6512C4C9-CF0B-4EB1-9B99-A38369F33D90","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":"Q3426132$1AAEE7C4-1FA5-4AEA-8BBB-46FDDCF4E258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011d6b6f8d5f087cd69d826b5f2ae5f647470f67","datavalue":{"value":{"entity-type":"item","numeric-id":4943360,"id":"Q4943360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0646ced608a6443667f69c27c4baa26779bd0066","datavalue":{"value":{"amount":"+0.8136578798294067","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":"Q3426132$470CD4DF-FCA9-4AA9-B094-2D2041F4E454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31086a3920b8cc7db90b90dbd5c8d07169d64525","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c373e1173e2d0553ad61c868da44ae361fed4e7","datavalue":{"value":{"amount":"+0.7049310803413391","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":"Q3426132$0DA80736-13D4-40B9-BD34-26EF90D9CA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8261f6cd6654d3888c8495da0ca8db3afd95b54b","datavalue":{"value":{"entity-type":"item","numeric-id":3079916,"id":"Q3079916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ffa9a6e77631b75ca5c14a57fef6d2124472b2","datavalue":{"value":{"amount":"+0.700038492679596","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":"Q3426132$062979EE-3281-4837-9EDF-CDD2147CF2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfd802c3388facbb5fb8c5948b671bb5d61f8be","datavalue":{"value":{"entity-type":"item","numeric-id":3557101,"id":"Q3557101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5f29439e005cf47d4f9453084494e61e349e30","datavalue":{"value":{"amount":"+0.6896401643753052","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":"Q3426132$0088710D-4E68-4F98-BD2C-3E93DA39E6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1963487ed0f1b0b68ccef19a06922ec03f01bf","datavalue":{"value":{"entity-type":"item","numeric-id":2841284,"id":"Q2841284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdba4686b466ce13ae157d52616d37e4cb959bd","datavalue":{"value":{"amount":"+0.6861053705215454","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":"Q3426132$EC7B231D-8D4D-48CE-90DB-60BA2BF00CF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EDUCATIONAL PEARL: \u2018Proof-directed debugging\u2019 revisited for a first-order version","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EDUCATIONAL_PEARL:_%E2%80%98Proof-directed_debugging%E2%80%99_revisited_for_a_first-order_version"}}}}}