{"entities":{"Q4399717":{"pageid":6429316,"ns":120,"title":"Item:Q4399717","lastrevid":41132057,"modified":"2025-04-18T10:32:02Z","type":"item","id":"Q4399717","labels":{"en":{"language":"en","value":"Extensions for open default theories via the domain closure assumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180612"}},"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":"Q4399717$C606DF75-D1BA-4A37-B7E1-1D0014ACF011","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78fab87f9c16398c864489ed0065b5ea2e1f5c9d","datavalue":{"value":{"text":"Extensions for open default theories via the domain closure assumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399717$54DFD0BF-5DC9-49D3-80AF-0B721396F29B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f0387d7a593745bd03e62893b87d7e098793f44","datavalue":{"value":"0901.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399717$E8194B8B-7449-4D8F-BA3E-ED0D71D34165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399717$27A60743-1E8C-469A-9DEC-5CA755287FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399717$4582350C-6D78-44CC-B4B0-64D6E7ECD58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399717$CA2192CE-8354-40BB-8085-30891C8EA103","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea86a34ae592c588b427708d07570d58c9d3bfa","datavalue":{"value":{"time":"+1998-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399717$82409E4C-6659-4FC1-AAD2-E6DCAEAD62F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399717$8F7927D6-3899-4B00-BA4D-DFF4778D03B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399717$1220BD60-57C1-4885-907B-68EC70187687","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b3c409a1bdd7819b866bb1d69863ebcf0cbaafe","datavalue":{"value":"1180612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399717$C6686F3E-57F3-401D-B66D-BC617B4C1672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399717$4CABC900-48CA-4816-903F-439308612D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399717$54C5DE71-4807-4E31-84B8-15F6A9DAEAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8223070af44dbcd5535d113eb5a26a71e7a318ca","datavalue":{"value":"Herbrand semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399717$5E75ADFC-2382-43FE-9CD9-D9BA01611DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b17d0069f9647a6dfbb46b6d6a63a8c640786b","datavalue":{"value":"open default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399717$1B1A5DE1-59CA-4768-A912-8F4FB5D2FBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52b3a8474e3520b639ee8aeda2d6494c1ac502b2","datavalue":{"value":"minimality property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399717$A3C66697-A4E8-4E53-8924-38CE683406C8","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":"Q4399717$5E7E775F-D53A-4CE3-AA05-E99195B7FCD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc53c3c11c8f773b288d7a8e60d222936e4edc79","datavalue":{"value":"https://doi.org/10.1093/logcom/8.2.169","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399717$FB1DC18C-27C4-48BA-87E5-1C06F4582473","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2481d2af350d08a14e518e480707c060bd50c9d","datavalue":{"value":"W2095135724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399717$9F275107-E8EC-428A-B41E-A70EB41C6AC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ac9a241351250d7ae36017381db09c491951e31","datavalue":{"value":"10.1093/LOGCOM/8.2.169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399717$35AC8102-7652-43F1-A420-23F604AC6B94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74d023aa68e5701dfc6f7b046f8a58bc3c110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5236446,"id":"Q5236446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q4399717$976B3046-3B06-41EE-B647-75B261D325F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173777b5ac0a390ccb56ef37cc09fd19f490543","datavalue":{"value":{"entity-type":"item","numeric-id":4934056,"id":"Q4934056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d032176aaa12644e0755de71bfaa3d1a175255e","datavalue":{"value":{"amount":"+0.9614596","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":"Q4399717$1E4BABE2-2609-4D18-A766-88EA75D7D049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4f9513f2c91f4d285c02ee9cba68749ed489e6","datavalue":{"value":{"entity-type":"item","numeric-id":4263001,"id":"Q4263001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ae8af79e56d93db2265445e39f06c0709b2dcf","datavalue":{"value":{"amount":"+0.9545449","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":"Q4399717$BEC828A3-6777-4F9F-9A10-BF5B15D6E86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e785a970277aaabe8241dff344ec6e3951785f54","datavalue":{"value":{"entity-type":"item","numeric-id":1312967,"id":"Q1312967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803b27934530489878fc2dee2b651d896d9937c0","datavalue":{"value":{"amount":"+0.8792838","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":"Q4399717$DDB09ACE-2117-4A1E-87CE-CE1284F38B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec8868cdfbc273572e39eb223c92a70bdb0a2a9","datavalue":{"value":{"entity-type":"item","numeric-id":4934643,"id":"Q4934643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5e27fa0a6b5784f1928eee61f656b6398ea769","datavalue":{"value":{"amount":"+0.87443113","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":"Q4399717$425FD0D9-CB62-40C8-9E51-409C145FBC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71ce959e52f6733360c82358b365fa795eade8b","datavalue":{"value":{"entity-type":"item","numeric-id":5466122,"id":"Q5466122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d539775e1103c1022c93b5c1d4e55a1eee218309","datavalue":{"value":{"amount":"+0.87134194","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":"Q4399717$278F166E-E7AC-46DC-B7C2-4C7C682C5BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dddbefd291a6bb20d4921a2263b813d445e666d","datavalue":{"value":{"entity-type":"item","numeric-id":5959353,"id":"Q5959353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de037960a1abd694891c227ca02c7b65677f827d","datavalue":{"value":{"amount":"+0.86228967","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":"Q4399717$B11B136A-0AFA-47C1-ABA5-4F3F1042517C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665741c3c0d9d654e36885dfcd4e0de9421850e4","datavalue":{"value":{"entity-type":"item","numeric-id":5309602,"id":"Q5309602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250b0de8240317f4c80e3d6e0fee79af8b2a33e3","datavalue":{"value":{"amount":"+0.85571766","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":"Q4399717$B57371E3-22BE-4B91-B5DB-7B7FCE04DD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5734a02da8b95995e48ba33dc5dca9a70e231fab","datavalue":{"value":{"entity-type":"item","numeric-id":4943322,"id":"Q4943322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30153161afbdb725fda6e9126babe99d8520ff86","datavalue":{"value":{"amount":"+0.85054755","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":"Q4399717$01AA0008-A18D-4E5B-A74E-BE4A1714D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8869b32ce9b73c6218e322db9cd5efa937ad94","datavalue":{"value":{"entity-type":"item","numeric-id":4004731,"id":"Q4004731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023515f23b666e6352cfdb6697928f28c540c3cf","datavalue":{"value":{"amount":"+0.84919834","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":"Q4399717$A71A73B6-3AAD-4468-B09D-8B014F992B95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399717$6591F414-56D2-4B35-B85F-03816F5B9E5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4399717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4399717"}}}}}