{"entities":{"Q4291873":{"pageid":6321474,"ns":120,"title":"Item:Q4291873","lastrevid":46325868,"modified":"2025-12-24T14:07:13Z","type":"item","id":"Q4291873","labels":{"en":{"language":"en","value":"First order abduction via tableau and sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567637"}},"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":"Q4291873$4B7AC1F2-C71E-4281-BFD6-E4AA2D2AC760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e111a160e7856891a948391c5d2e530344074e9c","datavalue":{"value":{"text":"First order abduction via tableau and sequent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291873$382CAAA3-13CD-4BAC-A8FB-29C257C73274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d703b661eea24c0ac17f01fc6c9848e5d3b4abb0","datavalue":{"value":"0807.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$2FCF89AD-B67A-4EDA-9B70-9506FBCBD7CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291873$D5BB4675-6504-42EB-9EC4-893B07DAE1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8504b40275d8e352084b681316fb158033c64656","datavalue":{"value":{"entity-type":"item","numeric-id":543603,"id":"Q543603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291873$D86EFE48-143F-4E18-95E8-4DEDCCD4C435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cd5815201d85bb68894181f8a778e0395c5390","datavalue":{"value":{"time":"+1994-06-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":"Q4291873$54490111-B2D6-4618-B1FD-9BD64FAD4F8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c877ce163aea6a7cd6c8e4d84d03249179df6f73","datavalue":{"value":"http://jigpal.oxfordjournals.org/content/1/1.toc","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291873$C7929C79-3F3C-4E76-BD59-A6DE63439B3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$FD468F20-E48B-404A-AC85-C253FD8C1B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$6D0C34CB-5780-44FC-8105-D6E1E74EC047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e98bc20e1abafd1cb3e3f81f37898e434813f4ac","datavalue":{"value":"567637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$1B3F364C-F11F-42A2-BD27-F22989C7104D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ed9f89bfd8e4acd390e140e451f201ca884c87","datavalue":{"value":"first-order abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291873$8FBF4D07-C116-4141-9AF1-5735EC72DE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291873$33C3EC7B-E770-4B2C-8FB8-112A00C46CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90a19a440bd33e852800132269802d2c170db61","datavalue":{"value":"proof-search tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291873$D7A3E705-1377-4794-BF95-DE9063A4F531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b3c958d7809fa808653ab424da497f525e8cd5","datavalue":{"value":"dynamic Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291873$A07F2EB8-57B8-4501-A7D6-2CD0C5446810","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":"Q4291873$F1D6D9CF-3DE1-45C0-89DD-DD4435A19752","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff99086e68f8a3d7334a9b91bb0738e108d7297d","datavalue":{"value":"W1973279396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$20F25A01-C15D-4893-9CA0-1F26483BB81D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"152c8848856cd0a439969d3d9c5959446cc1983c","datavalue":{"value":"Q55970403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$7A97092C-C9DA-4671-8CA5-E2BF5687DABD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b97d833af71bff62d02cbc0e60bdfc4290b823af","datavalue":{"value":"10.1093/JIGPAL/1.1.99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291873$3A689670-97BB-4F0E-BEC3-30063DEFD92D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291873$836E8C24-6546-4467-B660-7565EC02CC40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ef701ba3bc01b655179156e9f08d2298100297","datavalue":{"value":{"entity-type":"item","numeric-id":3411854,"id":"Q3411854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa179325ff6eb4a647184bbf5973fdd8f8291d1","datavalue":{"value":{"amount":"+0.8216512203216553","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":"Q4291873$56CC7DB8-313D-414A-B36E-96AB5B54B345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef2a197b8bcc874307d92f247962f966f13be56","datavalue":{"value":{"entity-type":"item","numeric-id":1389097,"id":"Q1389097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90030e80849f1eacad41fde4aa9fe287ea4af852","datavalue":{"value":{"amount":"+0.7934160232543945","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":"Q4291873$C238C0C3-23EC-4861-8D5D-C020DAA17529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d3b84e8549dd7413194dcd66c0a137b25d30ac","datavalue":{"value":{"entity-type":"item","numeric-id":3647297,"id":"Q3647297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac111a143026fc5c7a48d5f991cdd0d5fcb5374","datavalue":{"value":{"amount":"+0.7789090275764465","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":"Q4291873$2AC61EFE-8886-415E-AB3B-3AE1DF3929B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d087fac4bcc1ee015080e3663d677c09ee6ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3533155,"id":"Q3533155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a49547eca2f4bb95b1bf14a21ccc5c48c4b6583","datavalue":{"value":{"amount":"+0.7777339816093445","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":"Q4291873$A83FE11F-C1BC-4207-AECF-F163AEF616B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c19187c8b0b899c4181ce4d3d6253c63d87cff","datavalue":{"value":{"entity-type":"item","numeric-id":2909831,"id":"Q2909831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dd589b9090b8a93923fc8b81b29a4f6e00c44e","datavalue":{"value":{"amount":"+0.7765432596206665","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":"Q4291873$68547125-71D1-468A-B830-1BF4EBBEA3AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291873"}}}}}