{"entities":{"Q1182166":{"pageid":1192915,"ns":120,"title":"Item:Q1182166","lastrevid":46232047,"modified":"2025-12-24T09:02:55Z","type":"item","id":"Q1182166","labels":{"en":{"language":"en","value":"Hard problems for simple default logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 30535"}},"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":"Q1182166$59AB6A0D-2A3E-48BD-AB23-FEA4FAC4D823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e96224d3b94b2dc25301b0eca735a5d572adf40","datavalue":{"value":{"text":"Hard problems for simple default logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182166$664F244F-C98C-49C7-9649-BE9415C64FF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b27ab0f6f971064d8aaaa2db32b175ba35ba92cd","datavalue":{"value":"0736.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$3D676D62-6399-49A3-8BB8-0CA1048A323F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2941dcd5fb527db9de942f4261ee55b6931ea655","datavalue":{"value":"10.1016/0004-3702(91)90011-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$C75F4A39-1866-478B-8761-6F4C9BE7EED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e0fdfe1e00756ef855f7200cdba410674eb8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1182165,"id":"Q1182165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$76AEBA11-FA7A-4E4D-8DF3-41C5A22569FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$75DBBAFA-CF99-4357-BF37-9FEDE37EFF99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$C45290AD-3EAB-4ED6-97CB-0B881C85ACB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182166$2F5D458D-E58E-4AA2-BCD4-A494E86B396A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$69D2CB73-2C33-4C50-A50E-34C88817E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$4C073047-E618-47EC-844E-5EA424ED1E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$673EA71C-AE53-432F-821D-25B729994DDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec45c8c166145e4dd17ae040e4c33aa6ae3bdcaf","datavalue":{"value":"30535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$316A5E62-8F3C-4C02-9572-58490AAA58A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ebd1cf8702574d2d1b558ce9e22b633b789023","datavalue":{"value":"IVP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182166$685D45A5-6700-493E-B57F-3BCDE6ED84E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e854c5faeb59a78ce9a8e88a9ff0abfcbb42d5eb","datavalue":{"value":"default logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182166$6650F965-97A7-4CFC-97D8-BD29F7A9918E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5387f486e6b7eb79e3170d325ee6c6e0b7fcafcd","datavalue":{"value":"complexity of reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182166$081F34D9-1FA7-4E20-BA59-A947C34B4793","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":"Q1182166$6D711ACF-64EC-4C9F-883F-9A9052B6091F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc165ecc303d0d29775494d363673b23636a67fa","datavalue":{"value":"https://doi.org/10.1016/0004-3702(91)90011-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182166$5837E229-7FA8-4846-99FC-9A9765C08703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d65f0dbfac3aada21dd39b74b497499cc2059a96","datavalue":{"value":"W2148718809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182166$99DD16D1-D49C-48D8-8F1B-BDC403E653BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$C5B66DA3-8324-42BA-94CB-9509A19AABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf9194a9ba6cee011a2dd98df700a7e54b66569","datavalue":{"value":{"entity-type":"item","numeric-id":4692605,"id":"Q4692605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$2F9ED3F3-DA80-4EBB-8969-C28154D6BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be02880adf3b9531d20f6265c7de89b7619f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":3888567,"id":"Q3888567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$55B3AFB0-D3CF-40E1-9E79-0835C25E3F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$452BDA5D-26CE-416C-AB30-4CEB2271DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634f33c6989edf6f6984b6e2aab501586edeb607","datavalue":{"value":{"entity-type":"item","numeric-id":2638811,"id":"Q2638811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$C8D6ACE3-3165-455C-A3DA-B4549A7AECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$9963C665-7235-424C-9E83-E4AC6F59318C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49a11f42ca63670f174a56e0bf15f13e51d76af","datavalue":{"value":{"entity-type":"item","numeric-id":4729762,"id":"Q4729762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$CA38FCFD-435F-4A59-8981-BEF07869189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd9ab761631c46ab7ef21a851d0ae885fc0f55c","datavalue":{"value":{"entity-type":"item","numeric-id":2638818,"id":"Q2638818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$77643669-181B-4E79-AFC2-CF275DB5AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eeeafcae5ebf7af89e00e5d274045fb644eb87","datavalue":{"value":{"entity-type":"item","numeric-id":3200596,"id":"Q3200596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$62EE6991-D642-4D30-B438-040DDBE8A9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6053278ad8ab4cca5aeee0e3f4904ae4bd51cb89","datavalue":{"value":{"entity-type":"item","numeric-id":3992826,"id":"Q3992826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182166$9A92F90C-A080-4801-81B8-1657E890157D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6326f0de5c45cb0662ad22f87f6e1295099e48c9","datavalue":{"value":{"entity-type":"item","numeric-id":3493327,"id":"Q3493327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca8823723578199bd0d107f2208c08fba29af25","datavalue":{"value":{"amount":"+0.9999995827674866","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":"Q1182166$EB496A02-6139-47EE-9659-4BBB9537EE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d0ef2e4ecc8703484d1c5f84564ff588a9eeb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bcf672c3b0e655caf9060fdef6e568ba708313","datavalue":{"value":{"amount":"+0.8708394765853882","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":"Q1182166$29E5C04D-89DC-4732-806C-739D7E1903CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f259f70737342f1771de9d17528cd9b3f1dff478","datavalue":{"value":{"entity-type":"item","numeric-id":4003253,"id":"Q4003253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629ec8de186b314c62fbbb88e46c2ff1723bc2a2","datavalue":{"value":{"amount":"+0.8650198578834534","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":"Q1182166$7F38D771-940D-4AE0-B26E-39F0D6D1E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87332854012c6d16cb9bb4edbae209c43679c28e","datavalue":{"value":{"entity-type":"item","numeric-id":4202956,"id":"Q4202956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad020416f4f4e1bc5227fa5f6a8bca22ca111106","datavalue":{"value":{"amount":"+0.8571702837944031","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":"Q1182166$82D13B81-FCA8-46D0-A284-47B71A2ACC80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1182166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1182166"}}}}}