{"entities":{"Q3066113":{"pageid":3076829,"ns":120,"title":"Item:Q3066113","lastrevid":51159938,"modified":"2026-01-17T00:09:46Z","type":"item","id":"Q3066113","labels":{"en":{"language":"en","value":"Atomic cut introduction by resolution: proof structuring and compression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834054"}},"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":"Q3066113$9AD5184F-AA53-4114-A472-4EF537625CB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e13a8bdd6c7d390df6d225096356a07155f8585","datavalue":{"value":{"text":"Atomic Cut Introduction by Resolution: Proof Structuring and Compression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066113$9B9B21F4-2FA4-4FD4-A2ED-80B21F384B54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a1a55eb649c90be82e5b80bc43893eb88921987","datavalue":{"value":"1253.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066113$5D37EE8D-52F0-48E4-8426-6A41B57C1276","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4b296eac7cde8cc0fbd344b00c888ccf6642307","datavalue":{"value":"10.1007/978-3-642-17511-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066113$D5470C29-6A9C-4B81-A891-CB7220EEC396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066113$CBD66122-7DD2-4BC1-9E02-598601568D7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066113$143BBCA2-BA3C-4BAC-BFED-E8ED3D88397F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-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":"Q3066113$963BD07A-DA8C-4E33-BEA7-CFFB6E561CC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066113$A2AF7608-B559-4BF5-A7AA-A4CA631E2016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066113$C16F7901-EDD9-48D5-B04A-56E4FA7F4295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af442998db426a37057c29eac0088da0d8b6b6a5","datavalue":{"value":"5834054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066113$0A6184CB-C073-4001-AEDE-FB7EF2247F22","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":"Q3066113$FB860D03-FE27-4EE7-BA18-32198FD2A0E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df5295389464d7e30c2abefea6a56f9f95fed7c3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066113$73279668-3E66-4974-8580-0B54CF5799ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"387360e5e58166ca023b92eb0d73c9c7d90bf731","datavalue":{"value":"W1506262198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066113$72132874-94EA-45BF-974D-1AE5F3EED62B","rank":"normal"}],"P1643":[{"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":"0dd2f7f191cfbd2906a922ebbc3aec54ee1b8f93","datavalue":{"value":{"amount":"+0.8078766465187073","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":"Q3066113$FE000D24-67D6-4D76-949B-DBAF9BC402A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae76515d6348a1777aba34e5d6a5bf8225d7ec00","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33febaa02d4f88104a50dfd05514547ade015a","datavalue":{"value":{"amount":"+0.8043159246444702","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":"Q3066113$24EEA17F-B020-48D8-BE33-053A80C1032D","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":"f054b30cd9e3351248ca6662601a4366f333136c","datavalue":{"value":{"amount":"+0.8005911111831665","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":"Q3066113$A255060D-212A-4F3F-BE8E-CB679EFA54CA","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":"09c37664b8ea43acc3b193daa6b4257c4e0f8307","datavalue":{"value":{"amount":"+0.7828898429870605","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":"Q3066113$C7E551E4-629A-4347-AE9B-0955E40E3383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc05adc331cde80814ea964cafa7ea00f9096f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4364511,"id":"Q4364511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b66b1d286b352c9b7c4f65dc3e5b33a5cbc7f5c","datavalue":{"value":{"amount":"+0.781633198261261","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":"Q3066113$C17594EA-B6AF-4484-8AED-AD46B54A8D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066113"}}}}}