{"entities":{"Q4608728":{"pageid":6638311,"ns":120,"title":"Item:Q4608728","lastrevid":58291851,"modified":"2026-04-04T14:33:45Z","type":"item","id":"Q4608728","labels":{"en":{"language":"en","value":"Subatomic proof systems: splittable systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852241"}},"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":"Q4608728$B49861F7-3DFB-4375-9E77-A117349560D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1c1d3f9aca142c644164ea7ee2de0edd265fa7","datavalue":{"value":{"text":"Subatomic Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608728$8076316B-95C8-4B7B-B2C2-9CEAF1AAEA11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"532ceec447efec9d69ed09f291d5c9fe21880b40","datavalue":{"value":"1407.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608728$995689B9-95E5-4149-AD38-E07E6BB64DF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83a7074601486f6ffbedab173ca170ae9d8961a7","datavalue":{"value":"10.1145/3173544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608728$E30995F3-E1FE-4A6C-AE18-3C0332C96252","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30309584c89a0af76f7a726e27cf9edba10a4c79","datavalue":{"value":{"entity-type":"item","numeric-id":4608727,"id":"Q4608727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608728$9636BAA1-200D-481F-8280-8ED4F4C4DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52205c49578ff1cfeedb9fdb2178766a03a9a062","datavalue":{"value":{"entity-type":"item","numeric-id":1035694,"id":"Q1035694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608728$8614E823-B1F6-46CB-9DD4-E6A89C4CC290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608728$66832D99-27E2-4F12-A93F-B3A9F817D1C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-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":"Q4608728$A0198457-AEA0-4DC3-A908-83626E15C0DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4d3ea04ba209ccd1d64e30077afa237045e1886","datavalue":{"value":"https://arxiv.org/abs/1703.10258","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608728$EF773D32-9912-4F89-BA4F-1D9938B88934","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608728$604BE753-EBC6-4FA2-9BE8-05B2E650A644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608728$A9382FFC-51CC-4C35-9E09-A628B725DB88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb2d9123cac5f384fe8e14e7895e610643c1581","datavalue":{"value":"6852241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608728$2C0545C3-C224-4B27-8832-D95F20F91901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608728$F54A5DB7-650A-49F4-844C-A5FC8C6EA4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608728$8F790321-D277-4A6C-A855-004F8103005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608728$AD4A560A-DE2D-4F9A-AF01-D21A9FE980F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac3219ba3d862b6d25506c433057f0b0bf24273","datavalue":{"value":"subatomic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608728$FCC651BF-11DC-4025-95D6-90A854E00ECB","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":"Q4608728$B5EB1DF4-DFAB-4C00-8A45-E3FABBEDB00F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d164c53031b06ff504cb6739239954a383873a6","datavalue":{"value":"W4298033134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608728$DCAAE885-882A-41CC-BEE0-DDAC7F99B2C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e325358132362ce79787cecb58ab52f97a7d4766","datavalue":{"value":{"entity-type":"item","numeric-id":5056373,"id":"Q5056373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8a9df981e60e848bb431938bc39789fc9540fa","datavalue":{"value":{"amount":"+0.7462400197982788","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":"Q4608728$4295437C-7786-4A0C-BFDC-0440D0C74585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d29741f4772d97d19f9edbc223a02c1a87546e","datavalue":{"value":{"entity-type":"item","numeric-id":3008232,"id":"Q3008232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408f3d6f0b766d74e61c2ebbe5532a21ff71f512","datavalue":{"value":{"amount":"+0.7457980513572693","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":"Q4608728$73B2EF2D-DB6A-4015-91E7-745C5D98DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8899e5ae5170fbd3bb4bfd34daa3d5fa2ae1bc","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157cf4ed01d62d4a873c6d5ae3a540fc52a530bc","datavalue":{"value":{"amount":"+0.716453492641449","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":"Q4608728$B81B0395-E5EF-485D-8C0D-B26AF64A58B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f540bdffe0095e9baf1939e013afb8201a07ec5a","datavalue":{"value":{"entity-type":"item","numeric-id":5292628,"id":"Q5292628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645918b6695f4d14b6e9f03546f79d3c38a3a7e2","datavalue":{"value":{"amount":"+0.7141001224517822","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":"Q4608728$99E6CD36-C022-4C4C-AB0C-0539C920BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f1923918c473aa7b6bbd5e196b45975fce0c18","datavalue":{"value":{"amount":"+0.7139853835105896","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":"Q4608728$810D9E15-8B34-460E-A134-8EC68122755A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608728"}}}}}