{"entities":{"Q1853549":{"pageid":1864291,"ns":120,"title":"Item:Q1853549","lastrevid":74322153,"modified":"2026-04-14T19:31:48Z","type":"item","id":"Q1853549","labels":{"en":{"language":"en","value":"Propositional default logics made easier: computational complexity of model checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857081"}},"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":"Q1853549$297D600D-F577-413D-937E-1259956E1109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b62ee27b15954a03c3838e56bf190b6962cbf1c","datavalue":{"value":{"text":"Propositional default logics made easier: computational complexity of model checking.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853549$D5F2F604-B188-49C7-ABD5-21014C4E6DB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca88f69ea009498440d2ffb8a55218407276214a","datavalue":{"value":"1061.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$85E9740E-A4E6-4D5E-9D22-0BEF7DB7AC73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"978040d7787adcbf0cabf60b7157eb96c847916a","datavalue":{"value":"10.1016/S0304-3975(01)00383-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$1BEAEE65-F68A-492D-A2B0-831D6188235C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70aea14c691c09a3d0c6c5a46d869889bdcdd3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1853548,"id":"Q1853548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$E32490CD-C487-4AD0-BA5F-382E2DDE31B7","rank":"normal"},{"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":"Q1853549$B78EE25B-7072-4899-AD21-BF70DED1A8CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$91441E1A-9DAA-4990-8C1C-8FB239FC643F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853549$93C7FC02-571D-4542-9767-E551E8EE364E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$A0726A5B-9B44-4479-8C70-0C7F0DF43853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$ACEC55F3-9B60-48AF-92FC-63C814ED27A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$91FC98E0-EEF5-404B-8A78-1940C183E3AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240b67d92ae16eb8be1c0f4454a3376acd2c440f","datavalue":{"value":"1857081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$F370DE59-441A-4298-8852-965F04D50089","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182f3239d752d250a4d4e2de3d2e675f2263b7a5","datavalue":{"value":"Reiter's default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853549$BEE23493-DCAE-41A7-8CB1-953E625D7762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e635b731c9bd608bb106bfb74100b0f51ba93d","datavalue":{"value":"Normal default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853549$E0286C1B-1989-4375-8E02-A2B9AA0C52EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853549$07C0CD26-6D41-47B8-A713-7706CD85DB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853549$224A3105-633C-4999-B776-ABE3F55A5BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dad96ca4632804dffe1444a49b36fdaa13f0539","datavalue":{"value":"EHNF default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853549$F6D77704-2243-44F5-8BCB-935AB2523128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0fec364950bc0f175c8b520fce6e1d04bd7164","datavalue":{"value":"Weak extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853549$54002F9A-88AE-4CA0-8915-7F8758595FBE","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":"Q1853549$BD2BCBE4-20FA-47C0-8854-FD88274843D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e50f9a677eab54407f01217a3897d1f7e5132ddb","datavalue":{"value":"Q59259721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853549$AEE10142-8157-420D-9C51-70AD4178C7FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab648e1689febccc7daffba18fb70c2f3e13c50","datavalue":{"value":{"entity-type":"item","numeric-id":4275256,"id":"Q4275256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$EF4B594F-57DF-45FF-A186-5D06365B6470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$29F6EF18-91C2-4C5B-94FA-23C81ACEE7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$AFAE75C2-5783-4AE3-9C11-0FDACA00FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c710c60b0bd636135bc992e50390044d8d36d65","datavalue":{"value":{"entity-type":"item","numeric-id":1898114,"id":"Q1898114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$C82344FE-1AD0-4608-BD14-636E61F9953A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ab13e120c4fe25a2f039e5f96a03daa96747f6","datavalue":{"value":{"entity-type":"item","numeric-id":4369881,"id":"Q4369881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$65E94685-8C46-440F-9049-2D35D14CC94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be22cc5be49f9b5f183210144516b7ac2ec50b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4028804,"id":"Q4028804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$6AB31D8A-33AE-40A2-B648-B8337046F2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6072506f2ad8055f77dde57f7c29526493b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4246971,"id":"Q4246971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$8CB2F5FD-FF19-4080-A445-74975979D7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09beb0344c5f8c044554764d6ce151998549bf67","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$ECB874DD-08A0-4F6C-9457-141BF55B3298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$18D02A6C-372B-4A11-9103-762BE2869235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$EEDC3F7A-7F79-4D01-BACC-E5AC792E15C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f541d24dff87eb666c83d565c5bb664897477c","datavalue":{"value":{"entity-type":"item","numeric-id":4287511,"id":"Q4287511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$C47233B8-AF52-4103-AC1D-3F696F647982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$94B3AF71-A474-499B-AA46-37D2A89F7BE0","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":"Q1853549$A6817697-63E1-4552-AEDD-D4BA5747941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f5d749e4775b9ff8ad70d19f88e3741e680ea","datavalue":{"value":{"entity-type":"item","numeric-id":3495646,"id":"Q3495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853549$26F0547F-B294-442B-BFC7-37F12DE7E0AF","rank":"normal"}],"P1643":[{"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":"d24255659e812f4d1ce33bea4f63ef9a8dcf9ee2","datavalue":{"value":{"amount":"+0.8346403241157532","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":"Q1853549$97DA401E-9D54-4CB5-BA8B-91DAFA00BD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c47ae3e7546b41dfd3ee1bf17f40e6a35cdcdb","datavalue":{"value":{"entity-type":"item","numeric-id":3830558,"id":"Q3830558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6667faef3ebe031c33c677c3f92319da0f94d3f0","datavalue":{"value":{"amount":"+0.8330949544906616","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":"Q1853549$B1854893-7E8C-479F-B439-9E07D355F39E","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":"ebd73a1eea148a8262caaad75b8bb85e7aa28b53","datavalue":{"value":{"amount":"+0.8221495747566223","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":"Q1853549$C32B2091-6958-4A00-8DA1-68EF40DDBFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccec06a193bd2266487682d8a3d6e97a5e1474c","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912e7620d39a56ac5d113ce4494d84f286def1b6","datavalue":{"value":{"amount":"+0.8200873732566833","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":"Q1853549$4370D2E2-35C2-4074-B35F-57CE0FB5201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56d80065de018927d92f88dc2d33a624856aee2","datavalue":{"value":{"entity-type":"item","numeric-id":2171265,"id":"Q2171265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4173d22f1389130da732c20c0058c61c50d829","datavalue":{"value":{"amount":"+0.8200871348381042","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":"Q1853549$C1964117-AE8C-4A6A-866D-5940BE21134E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional default logics made easier: computational complexity of model checking.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_default_logics_made_easier:_computational_complexity_of_model_checking."}}}}}