{"entities":{"Q3374103":{"pageid":3384807,"ns":120,"title":"Item:Q3374103","lastrevid":49796092,"modified":"2026-01-10T19:54:42Z","type":"item","id":"Q3374103","labels":{"en":{"language":"en","value":"Ground Nonmonotonic Modal Logic S5: New Results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5010482"}},"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":"Q3374103$5CD36FBF-7834-48F1-B23E-C05A68A115CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f136335bfc5e6fe01cceb266d6a2ce423ab5b28b","datavalue":{"value":{"text":"Ground Nonmonotonic Modal Logic S5: New Results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3374103$BD1C17A5-EF70-4496-90CC-C5C83DACBD04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e41369abe1123301845d5b923611df965026c3a","datavalue":{"value":"1092.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$29CD5EAF-A166-4318-AE67-9D5A078668F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbda87e30ba3304b0df8d6ab02aab8cf0b6d5ce2","datavalue":{"value":{"entity-type":"item","numeric-id":301375,"id":"Q301375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374103$EC2C26E7-434E-4001-BA45-DE64EC85B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"642fb11532c8b933751d9953922aecabba84d9c3","datavalue":{"value":{"entity-type":"item","numeric-id":301377,"id":"Q301377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374103$753EF021-7CA6-4342-AA7A-C0CA8C5120A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2b3288b16813cd4e95c4661013f294149d4c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":301376,"id":"Q301376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374103$507CBE06-CC59-456E-A8DF-0F35072918DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe449f468b85b46403017c91eeb30e6fc473c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1779310,"id":"Q1779310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374103$44856FB0-2F9D-41EB-B01D-410CFB2D6C72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e48254e7cca8b756082b12a9577d73a3c911d8a0","datavalue":{"value":{"time":"+2006-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3374103$B8AB70CF-015E-4B92-8C91-584C0C74C15B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$680347E9-5BE1-40F9-A335-2F51D42A067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$727E6D04-2E90-4A33-9151-BA4A4559FF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$D77151FF-1007-4701-A2FD-EAF2EE48D0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$34129869-B46C-4142-8926-5CDA8239A581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$D8DE3558-98B4-4471-8695-8FE9360306C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f82b2aa8ae62086a8f1082f036cfb1366116279c","datavalue":{"value":"5010482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$CDB4657B-D835-4E8F-998C-5FF0BCA57A09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4fc300135272819ca8d44a23bff86b0f2235a9","datavalue":{"value":"modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$86B4D163-7A2E-42E2-8FC3-64BD227DB05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f74d7c31d802cc0977cd2d07a1f16766275e5ef","datavalue":{"value":"ground nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$D2E1071E-0819-45EF-B9BF-898901260857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be7a1af6d35beac10f2d808f08852a1968377d34","datavalue":{"value":"FOUR bilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$65EFE572-3D37-4150-B339-2C79649B9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$0D6578BF-1FE1-4EB7-BF81-1476DEEA63CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$4005D6A7-3980-42C2-B9AB-91D1EED372EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b94e7f40a9369c743c08a4be89a2de36c7e6ff5","datavalue":{"value":"semantics of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$E52E48E3-A30C-49D5-899B-A5EE5C98D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374103$E1A04C04-5EDD-4F6F-B26C-1AEEC16C0C58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374103$2D015415-2980-4875-AE07-A5C794737934","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":"Q3374103$63016EA2-45D2-47C5-84FA-7EE4F97B8642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26088a2d2fa4f81f7d7d7c48137592e38d71b3d4","datavalue":{"value":"https://doi.org/10.1093/logcom/exi042","type":"string"},"datatype":"url"},"type":"statement","id":"Q3374103$B568C582-F633-4549-A0E5-D735293B2ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ad24805cc1570c40fd5107788b015468d2b96a","datavalue":{"value":"W1987509337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$1DC63937-8CDD-467C-8F4B-F858B49FA56A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ce7f7c0d502dfc7ecfc4ae13e7a0fbb3d9735b","datavalue":{"value":"10.1093/LOGCOM/EXI042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374103$CC633510-D3A8-4744-95CE-D6E5C800C54C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374103$2066201D-D968-44C4-889F-8A3B3F7E6689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3004443b29a4e45a1ee8749798088a5d3c1c0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4351800,"id":"Q4351800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf80f38e5785e94dda8b772ce19282b28b636c09","datavalue":{"value":{"amount":"+0.8184517621994019","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":"Q3374103$E5B22F09-1DF3-463E-B27C-F357ACEC49D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03ce33c826d64777a5cb06d6252f18bf9830cd5","datavalue":{"value":{"entity-type":"item","numeric-id":4028809,"id":"Q4028809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf80f38e5785e94dda8b772ce19282b28b636c09","datavalue":{"value":{"amount":"+0.8184517621994019","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":"Q3374103$4DD748E6-4117-4C10-BBD8-EA8704D951FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce672284960e15630b8d8b306a683c5d12205b9","datavalue":{"value":{"entity-type":"item","numeric-id":3507585,"id":"Q3507585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de37fe0379e94a6878f8a04c54b11242c240d826","datavalue":{"value":{"amount":"+0.7929130792617798","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":"Q3374103$35BD33D0-3D90-4B5A-8589-61B5F4B030BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6246f64c1d8babd4fe6c3f44a7dd4139cc40d6","datavalue":{"value":{"entity-type":"item","numeric-id":3138702,"id":"Q3138702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb344d36a7a21a52bac7666fb4d5364ff8fb148e","datavalue":{"value":{"amount":"+0.7906786799430847","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":"Q3374103$87C2F655-5C0F-495D-BF3E-9D74C08ABE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e5c254e13267a5456e959fa2fb5df6812dfc52","datavalue":{"value":{"entity-type":"item","numeric-id":4028813,"id":"Q4028813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2a07f6980378d0e247ec58e605f235b841ae75","datavalue":{"value":{"amount":"+0.7854781150817871","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":"Q3374103$860A1F78-C713-4870-895D-855780707C8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3374103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3374103"}}}}}