{"entities":{"Q1389097":{"pageid":1399837,"ns":120,"title":"Item:Q1389097","lastrevid":67324383,"modified":"2026-04-12T16:51:53Z","type":"item","id":"Q1389097","labels":{"en":{"language":"en","value":"Intuitive minimal abduction in sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1164236"}},"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":"Q1389097$97D5B31D-B185-41C4-9885-4C0963431482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb63f9accb45d8d12f88291956c9f5108a0314d5","datavalue":{"value":{"text":"Intuitive minimal abduction in sequent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389097$0623D451-C8B5-4AC1-9CB0-9F30A74F9FEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774df68010dd3adca914b9e73457627cbea3d67c","datavalue":{"value":"0899.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389097$34FB1FE1-2CD2-4062-AB06-B342C2675B50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74fedde0e1be6ce9a635478ac53b49910138c4c6","datavalue":{"value":"10.1007/BF02943189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389097$1A578B16-D9DE-42AC-B71D-3C8B3F1D801C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07231d269dcdee91ba2133ae9a7806640ea92aa0","datavalue":{"value":{"entity-type":"item","numeric-id":506062,"id":"Q506062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$DCD4B369-4904-4FD5-91C2-6A8B1A57AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a21b3637f18f9ac317153aa44a5b4e143618f2","datavalue":{"value":{"entity-type":"item","numeric-id":1389094,"id":"Q1389094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$8AA6BB61-580C-4E07-A40C-20B168A59EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"735976668e5214012854198f69837d8d59d06834","datavalue":{"value":{"entity-type":"item","numeric-id":794423,"id":"Q794423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$F650D9D8-15FF-486B-BB1D-52BF8006BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c2bef31040a002bfd67bd8125612b1c9d9c4a4","datavalue":{"value":{"entity-type":"item","numeric-id":1895409,"id":"Q1895409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$20682176-4EBD-4E44-8CC5-3A7401BC5725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$375B7654-6CF1-4B36-A3FA-D3C218C573AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389097$80DDF45D-B349-420A-B9BF-008A6EA9E81D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389097$2C73A9DC-BBE1-4718-8406-4F11DF97ABE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389097$7B2F5372-F782-49BB-9632-218889639A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b228483d354b4400ecf8585be4bc05a67bec9e","datavalue":{"value":"1164236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389097$A571B559-B87E-421F-AC92-71BD80015D4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389097$58E1852B-1F9A-41F4-91C5-0F5D4032A2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389097$578EC7A6-52EA-4E90-BD76-8D54287BE14D","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":"Q1389097$6C8CE10F-F17E-4610-89F2-8025634313E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8813f827f7c52b7e97af34200a553bf6af124ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1895410,"id":"Q1895410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$93112603-8A59-4A4B-96B6-740A3412AD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea0e204827cd4762f9eaf8f4b236aa9b46aa024","datavalue":{"value":{"entity-type":"item","numeric-id":1802070,"id":"Q1802070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$FD890200-CF69-46A6-B4FF-D567E670BED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7318bb4a834f93c7bb20b53a2ea31ebbd48b167","datavalue":{"value":{"entity-type":"item","numeric-id":1895393,"id":"Q1895393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$49C17E52-D231-40BF-A4E5-E7766BFC7709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c2d2213bbb9543d4ab10bf509a45bafebf9b8c","datavalue":{"value":{"entity-type":"item","numeric-id":4279083,"id":"Q4279083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$032EDA0E-7FAB-4B9C-8A39-DF4D2AD69C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fccaec4c307c097d5437414653a957b62b3e691","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$C0979C63-43E9-4363-B067-5759C9A81338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6cc26ec26a6ac14242e5cebc0b250b9c4bf3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4140966,"id":"Q4140966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$CDDD20A6-80CA-44EA-849D-BD1300B6BAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$631A0428-6412-41D0-B38C-A7C6588136A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0658ac50929df729fce77ff4a3731f57c3fa52f9","datavalue":{"value":{"entity-type":"item","numeric-id":3786007,"id":"Q3786007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$29F638A9-CEFA-492E-93D9-C2D2662E832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$3DC165DC-7038-4879-B5BF-FC130EE7CC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389097$E6475518-A140-4FC9-BE1D-3AA543F0B321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bab6f0b4f3248a638c02bc85d59f5aeb32f67acd","datavalue":{"value":"https://doi.org/10.1007/bf02943189","type":"string"},"datatype":"url"},"type":"statement","id":"Q1389097$16CC7BE7-F965-48BC-AC72-715AC052BC3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dadbff583ddcd386d48e9fff37ba21587a76eabf","datavalue":{"value":"W2032987426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389097$526568E9-077E-4B56-B857-CE1385D5E077","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225532142b13d6be3d63a7e674044c46b309f244","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9af3564b632df86c9ddc6b8818d20fb51c5528","datavalue":{"value":{"amount":"+0.8027951717376709","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":"Q1389097$88C695EC-10A1-4DA0-9710-76BD28DD592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607240df31a45e7ee2a10ee69631086203305a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5504120,"id":"Q5504120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d644056f4096332ccf417de9654724ac20a5a97","datavalue":{"value":{"amount":"+0.7915601134300232","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":"Q1389097$444A43F9-D2F8-404C-B569-5F1540D77AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923173abf1f8f34e053b13da1a495c5f9b71d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4281509,"id":"Q4281509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3943a1f1778981380c1e20bd29859ba599ed446","datavalue":{"value":{"amount":"+0.7777779698371887","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":"Q1389097$497B4B14-D617-4091-AC71-13645B1B8A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcdca6a1723a9fded274a9ffd1546ea4979f86f","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f866989794d71dee4a8cdc7a18363bb600d8a8f","datavalue":{"value":{"amount":"+0.7735599875450134","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":"Q1389097$CA2190FD-BEF6-4877-A790-B44950D2860A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitive minimal abduction in sequent calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitive_minimal_abduction_in_sequent_calculi"}}}}}