{"entities":{"Q1861328":{"pageid":1872070,"ns":120,"title":"Item:Q1861328","lastrevid":69134094,"modified":"2026-04-13T04:59:40Z","type":"item","id":"Q1861328","labels":{"en":{"language":"en","value":"The complexity of predicate default logic over a countable domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1882254"}},"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":"Q1861328$BF32FC13-B46E-41ED-90D6-B107703277A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f651f2b74379fb9980a7d0fe3f81bf54d33c86cf","datavalue":{"value":{"text":"The complexity of predicate default logic over a countable domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1861328$BDFA4178-F876-40D4-B69A-5658704713C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edd02b1e2db8d0c5733b28cc32c970ff514f9f44","datavalue":{"value":"1016.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$8BCE9AE6-21D8-4206-8E67-0804C88412F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1648f61c0220fd05116abdd9024f7f64eff914e","datavalue":{"value":"10.1016/S0168-0072(02)00064-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$EB726114-AF78-4DE4-AB69-9E135152E4DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8450522eaf34ce6110696ce25ccf0bdbf4cb155b","datavalue":{"value":{"entity-type":"item","numeric-id":1776196,"id":"Q1776196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$742610BF-CED9-4021-8F13-B5620A383B72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$B4D6E93C-4BCB-4426-BB3E-D3CFA97B085F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8bf6de10654777949678e7fb8229d0ea51a7448","datavalue":{"value":{"time":"+2003-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1861328$F28BE10E-300A-463B-8111-32E9C374827B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$BD773FBE-B482-4FFA-ABD0-D55D11527DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$4A6C0AA8-19B4-4EBE-84AE-D229B37F6984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$8BD14CD1-0761-49F1-95BD-D7B32B89BB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$EF8AC438-4C9B-450E-93FA-6692B6F7029C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acdaf9d54e2353322ef27796d353e971c19cea13","datavalue":{"value":"1882254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861328$3C434B8B-A23C-4B65-BDCE-94FC79FCC48A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861328$5B9A3152-0203-4723-94FF-62F0A7AA1640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861328$AF7324E3-1E19-4AB8-B169-1B13B94D2215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8292da40be91e977b55f8193c330db14d853845d","datavalue":{"value":"computability theoretic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861328$AB646DA3-5F5D-45FA-9108-BF873A1D2DD2","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":"Q1861328$9B940570-AB64-46D8-88C3-194882ED9947","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$2F81657D-08D6-4468-BBC6-532E32037DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff6b3556eb054ed554901978cda49578d4418f","datavalue":{"value":{"entity-type":"item","numeric-id":1855239,"id":"Q1855239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$7C7534DE-5A71-4AA9-B1A1-D27F8CB53571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e64f7e83fae946e800bd72dd161a8c43f3a85bc","datavalue":{"value":{"entity-type":"item","numeric-id":4399717,"id":"Q4399717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$57BC1C3D-8FFD-4235-A92B-C0348A99CA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e45ddc3d4be797ff6ef9e0400966d52256103","datavalue":{"value":{"entity-type":"item","numeric-id":1079022,"id":"Q1079022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$C42D2514-6B6D-4C57-ACC1-8351D5B68692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$C5083999-FC4D-4D4E-A2FE-0CBAA318E75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625ffcd9a46147e7ce4705d224fd49c0f194c828","datavalue":{"value":{"entity-type":"item","numeric-id":3486550,"id":"Q3486550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$1BD23FED-03DC-4BEA-9075-922521084F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$7C0CB914-229F-4270-BB3C-02843A0CB19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff329274d40bcc90d45b9589ebb6dd8805d9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$A3D3FEC1-3425-458C-A066-E5F730AE88BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23848f5cc002dab08c9e246881db71ecf933433","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$F27447CE-28D1-4C7C-A305-F444248A19D8","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":"Q1861328$B2C9D44B-AC9D-4A98-B2DD-AFE3B033BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$8BE6ED2B-C87A-4691-9C1A-626B0B2632EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$C2FEB6C5-3B2C-46DE-9B11-0536B635971C","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":"Q1861328$BF7FD191-1E05-41CD-A760-169AF230C5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$E2A95413-66C9-4764-8EE7-CAE5BB8285D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1404689b09d74d21e7a020ae5de0dc18b37657","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861328$E045CAD0-AF1E-40AE-B325-BEB4F2E868F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2620df4008e3f4e3515f33a7207311536b9fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":4379673,"id":"Q4379673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685ec52f685ce8635dc793b555c107142ac489f2","datavalue":{"value":{"amount":"+0.7822359800338745","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":"Q1861328$09BBC28C-327F-43AD-993C-39C4011BFB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba05ffa3a3b8bb80abd905574bb62dd29528cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4796540,"id":"Q4796540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30f5e8a2b73e0efb46ee70e04bb00979805dce0","datavalue":{"value":{"amount":"+0.7811635136604309","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":"Q1861328$117F70BC-5D85-4C27-9FCC-9EF7B9749255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddafb0b8921f701d2d1d7794b11cce76a0d169f","datavalue":{"value":{"entity-type":"item","numeric-id":5900658,"id":"Q5900658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138587f2b046cee8c1233f147291198ec4f3da4c","datavalue":{"value":{"amount":"+0.7774168848991394","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":"Q1861328$2D1FBF82-FBC8-4B68-B6C2-1BEA73B08E04","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":"378e00b0416b7836a9093d554316108d5a87644a","datavalue":{"value":{"amount":"+0.7768498063087463","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":"Q1861328$B0B3A713-6975-4BF9-BA32-238DD7BC09D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a3c5a23be5e498835de4f80b22cf375d4b48ae","datavalue":{"value":{"entity-type":"item","numeric-id":4399717,"id":"Q4399717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b4d0db42a2e7719aacbab0838bc57b3b1afd28","datavalue":{"value":{"amount":"+0.7757757902145386","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":"Q1861328$8B60AD5D-EF1A-4313-A6A8-52DBE6FCD25E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of predicate default logic over a countable domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_predicate_default_logic_over_a_countable_domain"}}}}}