{"entities":{"Q3507585":{"pageid":5537489,"ns":120,"title":"Item:Q3507585","lastrevid":50389883,"modified":"2026-01-13T23:03:38Z","type":"item","id":"Q3507585","labels":{"en":{"language":"en","value":"First-order ground non-monotonic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291305"}},"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":"Q3507585$D415A438-773E-4AA3-9FC6-C52F03B2C20E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16db9448bbfc495243774c462655942934a67098","datavalue":{"value":"1148.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507585$55F1104C-5421-4EA7-BA07-54FCDFA48B40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c1c4cc2cd7f66c038f60e8e11c58c1b11c60938","datavalue":{"value":{"entity-type":"item","numeric-id":3507584,"id":"Q3507584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507585$1B024A07-3BD6-4586-A7E9-62C555159A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507585$F082D147-FFCB-497D-AB95-07684087EB37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08eb02d6a9b76761d05b87e81b22595655c24e9d","datavalue":{"value":{"time":"+2008-06-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":"Q3507585$9D543192-EE0A-4BF3-8746-5CF4DCA844C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507585$8874494F-217C-4976-9080-7ACDFE8F6765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507585$E2ACEA0B-BEDE-498A-89E4-5F9E4BF10661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507585$4A08922D-BFD5-4CFB-A953-255CAEA6B500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76180e5e04a8d05ae40700b5052e8a8ecaea0687","datavalue":{"value":"5291305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507585$3BEA7531-76D0-4F7B-A234-34F28CF4B3DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3080deba55b8c55aac8606c7b82b4a83723a15cc","datavalue":{"value":"preference semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507585$B9EDA76A-5352-4F0E-9B5D-06EEA2877DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8223070af44dbcd5535d113eb5a26a71e7a318ca","datavalue":{"value":"Herbrand semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507585$EFCC8A93-C2D4-49F3-B62A-BF31CDE07F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85f79e83588d9c929e31bcc08c829829b7613b8","datavalue":{"value":"nonmonotonic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507585$D9A016EC-B2BB-4937-AF54-B9DFC63404E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507585$D568DBB7-45FE-4308-BC28-2CB90075641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517be25af930aa6d1ea8287c950e3c63146ff1bf","datavalue":{"value":"minimal model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507585$ABE12C69-7A96-4A97-975C-255EDBFAA351","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":"Q3507585$5C3A3A1A-D2AD-4E8F-8BA0-3A7AFFAF4571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a418bdd253a523bfe6b897693f0d30c39224be5","datavalue":{"value":{"entity-type":"item","numeric-id":4507867,"id":"Q4507867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d957957805dbf4428c31a1993304d0d8d6e46ba","datavalue":{"value":{"amount":"+0.8985819816589355","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":"Q3507585$663AA875-87E8-4822-A293-7BD6E4285C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebb7fec94f38c576aef40de450d2de7b5dd2e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4906889,"id":"Q4906889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c5443c47f9e50dff21204febfd016c7fbe99e4","datavalue":{"value":{"amount":"+0.8497085571289062","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":"Q3507585$AD51F320-5B9F-4D51-A37F-FD635B906C4E","rank":"normal"},{"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":"15ac2114bd20fe19a6f3ce05f53b6d187ff42941","datavalue":{"value":{"amount":"+0.8344925045967102","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":"Q3507585$7B4FDAD4-CCEE-40B4-9E26-59EC33B885AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693741804b6cae617701183f8a76734f1186a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":3123861,"id":"Q3123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ac2114bd20fe19a6f3ce05f53b6d187ff42941","datavalue":{"value":{"amount":"+0.8344925045967102","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":"Q3507585$F9442015-50A7-4FEF-8DF5-722564CC88B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e22cd2d78d09d0824c8107bdc6f39af2067cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1924422,"id":"Q1924422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaa47306fd624e2c9bad40cf5d560fe1aa82ef0","datavalue":{"value":{"amount":"+0.8152784109115601","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":"Q3507585$6AEA7BA4-2865-493F-9614-A25C0303642D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507585"}}}}}