{"entities":{"Q5121273":{"pageid":7150847,"ns":120,"title":"Item:Q5121273","lastrevid":58443720,"modified":"2026-04-05T06:12:01Z","type":"item","id":"Q5121273","labels":{"en":{"language":"en","value":"Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7246551"}},"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":"Q5121273$FE939DA8-F5B3-4C74-9814-29E007D31864","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5867a6de14640f4a087c2b8f9c03c0ca86ef6694","datavalue":{"value":{"text":"Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5121273$BC519F30-066A-4D23-8FA8-7D84D412ACFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60ef32e3ce2f301d20143ee204bfd58d81c1914a","datavalue":{"value":"1446.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$2A2B1513-5007-4C67-A6FF-496AF240A10F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dd405d968722250a532df607f3c807a057cb9f7","datavalue":{"value":"10.1145/3372299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$1F752CF8-BF80-44DD-897E-4358119AC21C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121273$9EB66D92-29FF-4A1E-9370-5D9CE60362DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121273$467C511A-D0FF-4C0C-BFA6-F0CEE1C30307","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":"Q5121273$6C0AD821-13D7-4B48-BEEC-42669695262C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5121273$8E571204-61EA-4C49-8987-EF7A5AB3EAE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a46d6f09d016f058bd51a19a009c017266c2d78","datavalue":{"value":"https://arxiv.org/abs/1804.06689","type":"string"},"datatype":"url"},"type":"statement","id":"Q5121273$F481B550-21AD-416F-B593-5A93CF99634C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$56A1D45B-6564-4632-A544-78D9E00EEA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$4EE674B5-2A79-4462-BF5A-ED2F14D90B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$17022874-4B90-468F-A4A8-BCD1F4CA078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$25E49B8A-6878-455A-8653-F5CD6B52A78B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4fec2bc3dacd3f9b892e783077407c6d1016da1","datavalue":{"value":"7246551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$7F4279B9-90C1-4467-AC45-F189C6F4007A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3203ee1f1b5a8c18e7e890e9f5e3030a597daf","datavalue":{"value":"proof-search procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121273$5B22497C-A9B0-42C7-BF0A-1D81E4829220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121273$8E9FB2D6-2094-4F26-B7A6-4B555138818A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121273$9A14542C-F5CD-4447-A33E-221A9F140F0D","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":"Q5121273$32A1B6C8-60B7-4269-BEF5-74FB41419C0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8962044c5c0d09cb4f4078cb66c84e10f90cc6f","datavalue":{"value":"W2798196221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$A6AEE733-F1AC-42AA-B519-5D47D7DC5974","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9219199e3ebba004ec9341b015a9f5e7627aa735","datavalue":{"value":"Q130834580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121273$E72F8438-0B5B-4FBC-9DA5-0E0D8355D76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e83a047cca94fa4efc9b9fd0436f1a812f656c","datavalue":{"value":{"entity-type":"item","numeric-id":1694454,"id":"Q1694454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5baa2de5857c80d225d360532fb23d153f57a326","datavalue":{"value":{"amount":"+0.91354895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$3AFC1232-E438-4758-9217-6057904AAF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b7b63652b23e3553dcb805dc09feb2bdfaa837","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27f09140732d60b7d259f0456907d87605de522","datavalue":{"value":{"amount":"+0.88292223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$09BAFB58-38AE-4878-92A7-93BD3CBDDA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc5bc2c10736442265cd9379a24a927fb31c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268404,"id":"Q4268404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143b10f05f7aeed446f79d33630d6a05801bad3a","datavalue":{"value":{"amount":"+0.8816156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$A2F0B079-EA26-4ADC-BC6F-3D7AC2BA4DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b83eefcd0665f1eb6fd0849f9e056ac58b24e2","datavalue":{"value":{"entity-type":"item","numeric-id":4484080,"id":"Q4484080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0ffad5e2fe991762404771a0fe388381f5d254","datavalue":{"value":{"amount":"+0.8731289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$999A4C20-9FCA-41D7-BAAD-34CC6825FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa42ce43cfb034354a77bc42b57d485aa99a762","datavalue":{"value":{"amount":"+0.87286717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$010C495F-DDBA-40C7-861C-C9B5E9DD68AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c27227c29237ca8b671d829b5529e34b23adf8","datavalue":{"value":{"amount":"+0.8716769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$DDF56246-3372-438C-A33F-C37157E59FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f815cda0d48cfbdf92cee106e424e7c1ff9756","datavalue":{"value":{"amount":"+0.8716705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$F9AB6EE2-2EEF-4AE4-94A1-BBEDFA68B77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a59ec40c8ef92482d77c211b8284b52f3f1c169","datavalue":{"value":{"entity-type":"item","numeric-id":1810851,"id":"Q1810851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea477b10788e10a332476a04886fe77f213d6c04","datavalue":{"value":{"amount":"+0.8715566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$0D85BC61-1403-4624-BB79-D1C7209F45A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877c8c80ec8caab0bb97c69985ba7e1e80bbc71d","datavalue":{"value":{"entity-type":"item","numeric-id":4647498,"id":"Q4647498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea477b10788e10a332476a04886fe77f213d6c04","datavalue":{"value":{"amount":"+0.8715566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$E454A327-D0F0-40CA-BE5E-4C3273C5F052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be21e2ba7249f84a48b8650bf77a17a8e95b7498","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b1fb72fd630d90cf47b8bbbd7adaf10c17f98f","datavalue":{"value":{"amount":"+0.8702103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5121273$89C100A1-A9EA-42ED-BECB-A6B9C1A09F4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5121273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5121273"}}}}}