{"entities":{"Q1898114":{"pageid":1908856,"ns":120,"title":"Item:Q1898114","lastrevid":74249688,"modified":"2026-04-14T19:11:04Z","type":"item","id":"Q1898114","labels":{"en":{"language":"en","value":"The complexity of default reasoning under the stationary fixed point semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 799031"}},"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":"Q1898114$C7780E1E-FBF5-4A62-856F-D4814E771936","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"939bc2f454f6f4463b042d9f2f18fd2695d8cc51","datavalue":{"value":{"text":"The complexity of default reasoning under the stationary fixed point semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898114$8525C586-4C3C-4435-A522-7718CF045A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bccce44343b3c37fe5c786c8c006685b2d025522","datavalue":{"value":"0832.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$A042B17C-F0D4-41B4-9B01-5EE7C1DDBDE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898114$7D7207B2-5BCB-4090-A448-57D7CA8F657A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898114$F79160BC-3957-4019-8FF0-359D524EE430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaeb2c9097fea69c487fbd2ea3e5d8c5e6a6b7a","datavalue":{"value":{"time":"+1996-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898114$1FBAD710-434B-489D-964A-00B8F239CFD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$92B35720-6CF8-440D-85BC-F66EED41ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$D5725C8F-EA3B-4D87-B63F-ADD807F1C492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$632B08F4-CD4B-4A05-B323-EE6ADCAD9CD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a28f82980237404d125ffb963abb722ba7784a6b","datavalue":{"value":"799031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$823DB530-DE69-405F-85F0-DAFF2CE9FD2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182f3239d752d250a4d4e2de3d2e675f2263b7a5","datavalue":{"value":"Reiter's default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898114$45AFE51B-8190-4E2D-A053-D1F1D32A6FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a8c9243a8a11e5ecfadcff5fd0839bd78bcc30","datavalue":{"value":"cautious reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898114$FF1755D3-D53D-4409-B88D-326C5FDEDA4A","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":"Q1898114$BF29DE96-F873-4963-ADF0-4F8F0DCBDAAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"850ce562ab3b43a856be87e2752419e41ce524c1","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1124","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898114$2E39058B-D2D8-4F1B-84CC-1997C7D9460C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e0860dd0b098871d69301d28bbc7c1c87ea7404","datavalue":{"value":"W2007660757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$3B9142EA-28CA-4B1F-9BED-732E3653F174","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"819f3881f0228a11a4ccd979a8ed68ed78f74d44","datavalue":{"value":"Q59259762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$632E9F58-6D04-4010-9AF0-42ABBA5D324A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2042dc6561d1676a58b98e2909b11a5d0d505a82","datavalue":{"value":"10.1006/INCO.1995.1124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898114$65012499-8ADD-4825-BDB9-F8BE416FD494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce627fa5ec6473b7aa057e44a03251a5e1799b9","datavalue":{"value":{"entity-type":"item","numeric-id":4298363,"id":"Q4298363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569d8e0e148ad7804f8c47f4cb01cd79e733bb42","datavalue":{"value":{"amount":"+0.8314211368560791","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":"Q1898114$F6A72F33-6825-4B29-9289-25E893DDFB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e868277f9977984959c321fea38ec0f04f507af5","datavalue":{"value":{"entity-type":"item","numeric-id":5425398,"id":"Q5425398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c818462407ad1cebfe03c253f26a77d77c737801","datavalue":{"value":{"amount":"+0.8306048512458801","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":"Q1898114$C1836D4E-183F-46C9-B376-4885D1F3AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1340a1d38244fc57f71740ac4e75882198353e","datavalue":{"value":{"entity-type":"item","numeric-id":1853549,"id":"Q1853549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed1f2c47435fd918216037e1783e666d9564262","datavalue":{"value":{"amount":"+0.8193271160125732","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":"Q1898114$D955641F-CCF5-4EEF-AFC9-FD9E3B08D448","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":"c0d36de3225b8049ddb1196faea58f4817f9aaa6","datavalue":{"value":{"amount":"+0.8179338574409485","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":"Q1898114$865FEE6D-5A8E-4D66-9F24-5EA9DD57344F","rank":"normal"},{"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":"580e07751681ed15d91fc6a60a0876964d77105b","datavalue":{"value":{"amount":"+0.8165452480316162","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":"Q1898114$30F294D0-DD0C-48D4-BD09-BDEFB2895134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of default reasoning under the stationary fixed point semantics","badges":[]}}}}}