{"entities":{"Q4317728":{"pageid":6347329,"ns":120,"title":"Item:Q4317728","lastrevid":88699352,"modified":"2026-06-04T15:13:13Z","type":"item","id":"Q4317728","labels":{"en":{"language":"en","value":"On the impact of stratification on the complexity of nonmonotonic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 704954"}},"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":"Q4317728$9E731728-BA6A-47F7-968A-6D0C7110F6CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c91cc2d47f71dfaa49ff07e3b33260b1478cab28","datavalue":{"value":{"text":"On the impact of stratification on the complexity of nonmonotonic reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4317728$9A947D33-CDA4-49CE-91BD-F9628A5BE9C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4d8247403f84362e2fe32b2dbb792752f10922b","datavalue":{"value":"0820.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$18D9215F-211D-47B0-A739-0C1914A4E126","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"841c6b89b94476fabf3b3b7bf8946a85afa0952d","datavalue":{"value":"10.1080/11663081.1994.10510830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$DA44F869-55EC-491B-AE20-BDB75B1FE9F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8772e17b45726a7a4057c2fc4b665ed88724c35c","datavalue":{"value":{"entity-type":"item","numeric-id":359983,"id":"Q359983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$1EE6BFD7-344C-46A0-844F-21DEDEEDF42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$F8765DD7-C827-4315-BBCC-2895555C333F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$ADD41726-0C37-4696-9B25-0631E09284D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a5af496da52109cb9fd8ee43aa6e112a9ba241","datavalue":{"value":{"time":"+1994-12-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":"Q4317728$4B5265F1-4C61-4799-836F-BB2677C8896A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$E6345D50-E265-4BB1-BBEC-9637A1656865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$943BEC33-0D0D-4A1C-96BF-BCECA746AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$0139D70D-D6FD-4FC5-B039-2B4FA5391A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$70587395-1628-4DBD-B5D8-C41B3D3A54CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$9E722E9B-CB20-4921-84FC-5EE82B416745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c0bbdc81cfabf888c15b09633e221897f5dfcba","datavalue":{"value":"704954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$D509030A-74D6-4BD3-B206-64077B75A2D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$35F27209-F58B-4159-8A75-3B08FD4819C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5902cf1c926e4bb560b5e5c6055b46c922954da3","datavalue":{"value":"tractable subclasses of nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$A6DFDA3D-D72C-42E4-8138-82EB20DBFE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$095B9155-F40C-4F89-86C2-5081E45879F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21837c03e459106d6b08bd4f7e5a2d443ab7cee","datavalue":{"value":"auto-epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$59B66433-4F08-4C92-981C-BB2E13E778B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93578d31eaae2a3e83b46ab1ba6c625a42176451","datavalue":{"value":"iterative algorithm for reasoning in stratified auto-epistemic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$F60E7E25-EFBA-40B4-B122-A635A5F1227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$9344DFD7-7A7E-4E05-840E-7B3440F09999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$36DBA29C-AB54-42C2-90AB-714187A98952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf509a57edc4ef5770a9df45b8b93fe72c26e7b","datavalue":{"value":"truth maintenance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$2F45FCBC-4C64-46CA-83C4-EA3FE5572F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4723a99ab87d6a985f6ed0970eddfa836495ea","datavalue":{"value":"nonmonotonic modal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317728$3D444784-143B-4981-AA86-6B0F09892D5D","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":"Q4317728$F5108307-FAFD-4B0B-927E-F9DE00068FA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59c830271dddcbf3b05db8233427f0f59af27e6b","datavalue":{"value":"https://doi.org/10.1080/11663081.1994.10510830","type":"string"},"datatype":"url"},"type":"statement","id":"Q4317728$47E0F09B-AD9F-4341-B580-A8B7B7DA21A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbf849f12647a2694703bdebe90afb0f828f1789","datavalue":{"value":"W2988172561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317728$603DF710-E03D-4295-8769-8299237ECF58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$0D799619-46B5-4037-B7C4-1650CDD153D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$8257CE70-1DE8-45B3-8A42-D2A2BF650101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b70255913a491d6bba0eb24319a868d041de84","datavalue":{"value":{"entity-type":"item","numeric-id":1173955,"id":"Q1173955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$BCDD2E81-06E3-4045-939F-1487C9B5BF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3cad1b8093ce464b6c645c179cea5dffe1adc7","datavalue":{"value":{"entity-type":"item","numeric-id":753501,"id":"Q753501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$6718D4B4-CFC2-4E6D-A1B7-BB2AFBB5D075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$A1B9EE83-CED9-447C-BB52-780CD1C06F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217a03352cffc36561a374c3fe3e37d7c69edbe","datavalue":{"value":{"entity-type":"item","numeric-id":2638808,"id":"Q2638808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$989C3823-EE7E-4F2F-857B-FF43A8CC9791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$E6A34FAC-104E-4C67-B1A0-6AB32BAA1D56","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":"Q4317728$E989E19B-7075-4B1F-B4CF-29365708D892","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":"Q4317728$7117D4A9-D4B8-4573-861E-145D25009039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$317D478E-005C-402E-AA97-CA0AA9DD4C21","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":"Q4317728$19C2A9E2-342D-4EA5-9778-86C0F39ABED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$BAFF09EF-691F-437D-8948-E669E46E71C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$CDBEB06E-C5F2-4C74-A566-1E632AC863C9","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":"Q4317728$B7C7F049-8D30-4D07-8B52-CDCDF7F90905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038d0668ad0e7481c38d391c3c8c11bc8fd7a343","datavalue":{"value":{"entity-type":"item","numeric-id":4271091,"id":"Q4271091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$3416EDC2-F1DF-4DE1-98F3-605063C06619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$628FF7FF-D957-4581-B13A-53C833AFD1B5","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":"Q4317728$F18599E7-29D8-4BD5-A2F2-70E6478F89F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$5637BF69-73FF-4239-9912-507845103FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$93D52423-DB68-4189-9DC4-6808A0CEB904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$AA6869E3-4BC9-430F-8CB0-1E939526A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317728$2300D043-D4EE-446A-BA10-6E2E35A3F237","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5cb9e9bfbfca10dcbbdd515f926ad35b82a1162","datavalue":{"value":{"entity-type":"item","numeric-id":4474859,"id":"Q4474859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdc92f92e40a4af8aef969badfcca26b1c56cd3","datavalue":{"value":{"amount":"+0.8172076940536499","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":"Q4317728$3D04CDB7-40A2-484C-9986-6AEC2181CFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06394534ea31ba13ffef3460e18e300fe43168df","datavalue":{"value":{"entity-type":"item","numeric-id":1391905,"id":"Q1391905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04dd64e5c32bc84ee32a93ab592481542183c924","datavalue":{"value":{"amount":"+0.8060902953147888","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":"Q4317728$18D5D2A0-597E-4FB6-9E72-9CB9E358F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6569246a7eefc941fc45a904ff771f06d3ea480","datavalue":{"value":{"amount":"+0.7916011214256287","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":"Q4317728$D10CB60A-7839-4CF0-AAD0-70551188DEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db78fa8a84317cac9e20fc71df9235fdc678e943","datavalue":{"value":{"entity-type":"item","numeric-id":4881301,"id":"Q4881301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae0519ddc3889a3869ad7ca4c4f2366fcffede8","datavalue":{"value":{"amount":"+0.7908559441566467","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":"Q4317728$E9DDCDD0-88A0-444C-B78D-567466B74B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087a094b8e4e9ab2ed58c2fb6e88791e3627d707","datavalue":{"value":{"entity-type":"item","numeric-id":3549127,"id":"Q3549127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae0519ddc3889a3869ad7ca4c4f2366fcffede8","datavalue":{"value":{"amount":"+0.7908559441566467","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":"Q4317728$AB438422-2144-4DFE-AE81-B8EFBCA8CC3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the impact of stratification on the complexity of nonmonotonic reasoning","badges":[]}}}}}