{"entities":{"Q2907345":{"pageid":2918070,"ns":120,"title":"Item:Q2907345","lastrevid":51548699,"modified":"2026-01-18T17:57:02Z","type":"item","id":"Q2907345","labels":{"en":{"language":"en","value":"Project presentation: algorithmic structuring and compression of proofs (ASCOP)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079516"}},"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":"Q2907345$6C21E8C2-7048-4558-94AD-507217EA0993","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07f67aae755219b5407ba2e9a217a4470cc5d5dc","datavalue":{"value":{"text":"Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907345$40DF6980-845A-47B2-9301-16C60913750F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c3827d5b4ba0ba6965194c65fc4aa5b3cd4a5c6","datavalue":{"value":"1360.68752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907345$5037519B-8878-4903-B268-EA7CF86E8CA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5df39e90457547f32a35cd711d6d09648e53445c","datavalue":{"value":"10.1007/978-3-642-31374-5_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907345$79B6E862-148F-45F1-9182-FEE0A7888A4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907345$F23237D0-9A7D-4D4C-B2A8-2C085111F7C1","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":"Q2907345$D51E376D-8BD0-4739-A75C-25D2FC33CD23","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":"Q2907345$821C58BF-C461-4E70-BAA3-2F355604AA76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d4928e875174992b1c37caa2601d39124d1813e","datavalue":{"value":"https://hal.inria.fr/hal-00776337/file/ascop.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907345$2BEC9893-E2C2-487E-A458-182DE886271E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907345$81793A9B-0C1D-4CCA-9BBF-10274CAB9056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d0ac2dbf6b5e1a5163b109231b5f19d1ab2ba9","datavalue":{"value":"6079516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907345$774817FD-D13F-4B84-8067-DDEC5A79D110","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":"Q2907345$B5FB1394-32BA-4176-A0F6-A9E0F9522AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbd9bd9c1a80c0629a86daa81d9383bad7972740","datavalue":{"value":"W2166505334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907345$B561F859-F8B0-4201-94E4-13F995684573","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a5d18780a3dbdb4959fbe9fb76a2b4792c26e8","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d706b7e0775b159951412e4e3ec35e67a647f03","datavalue":{"value":{"amount":"+0.7656016945838928","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":"Q2907345$1FB7AE87-66CD-417B-B964-3E31CA7BFB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebe84108e58dd4dca315a131391928599d9e79c","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fae4bb2e0d0a7009e0f23cf3ac20fbcee9edf9","datavalue":{"value":{"amount":"+0.7459448575973511","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":"Q2907345$3232BB78-E166-453B-A364-57FA352BF7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad4688f70108049de24e4f7e6fccb0f0950e366","datavalue":{"value":{"entity-type":"item","numeric-id":3066112,"id":"Q3066112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d3108fa1150f52b30eb13e4292ef56dd192cfa","datavalue":{"value":{"amount":"+0.7326188683509827","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":"Q2907345$80B6E25B-8CCD-4C5C-9E7B-CD95821C6E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbecbabdd68f481aee5847d1d9e0118e410ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4283227,"id":"Q4283227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc416205d1aca15bf42801631dd486bdf884811","datavalue":{"value":{"amount":"+0.7200592756271362","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":"Q2907345$4AEA72FC-20D5-4989-AB55-60AF3EF9C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a44fe715989ddcbcd1ae771448607b9ca7972c7","datavalue":{"value":{"entity-type":"item","numeric-id":1680562,"id":"Q1680562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0acdbe0f6cd2a4d0fdd042e6cd5aa7e7595daf","datavalue":{"value":{"amount":"+0.7188413143157959","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":"Q2907345$E0E1150C-ED1A-40DC-BC9F-D1C6C2714C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907345"}}}}}