{"entities":{"Q2735348":{"pageid":2746087,"ns":120,"title":"Item:Q2735348","lastrevid":47664508,"modified":"2026-01-02T09:16:36Z","type":"item","id":"Q2735348","labels":{"en":{"language":"en","value":"The completeness of SLDNF-resolution with respect to modal completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1640352"}},"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":"Q2735348$D580368E-71ED-4F49-A067-4916214C7E53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80191467b5385e2210d98bed1fd13185b4b9d039","datavalue":{"value":"0988.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735348$0DC0D9DD-3AF6-4A03-A1F8-F66642667A0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7359bfd908f84f44c885a71451b406c6fddbf1","datavalue":{"value":{"entity-type":"item","numeric-id":2735347,"id":"Q2735347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735348$319F4786-6324-486D-B791-E1FD89CE463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48929b854ba3b1b5b3344e4e4626bf3330d3f71e","datavalue":{"value":{"entity-type":"item","numeric-id":479788,"id":"Q479788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735348$DFBCA05E-3FDF-4F85-8E3A-5CBD0D22B2B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d473643aa39024730582f063c01cfbcd820666","datavalue":{"value":{"time":"+2002-04-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":"Q2735348$33A50755-ABE3-4BE3-8A52-EE70C1AABB89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735348$FED38DCA-C263-4071-A561-95A03016DC50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf28f39813e4a69102bcab16781e333f0e1b3cc","datavalue":{"value":"1640352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735348$5B2F89A1-92FC-44AC-B65D-354AD112C70F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735348$60C1D31D-A0CC-4188-A372-82BB84DE6041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5773b7fa7e04f5226acf9e10c26f2bec46de70f","datavalue":{"value":"modal completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735348$3A7405F7-DBDE-4E2F-A119-871B2A1B17BD","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":"Q2735348$DF9F1350-A738-439B-8CF6-A939814E85E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"329531855a52110b9ef56ad0e53eaade59277198","datavalue":{"value":{"text":"The completeness of SLDNF-resolution with respect to modal completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735348$53FB3211-45DA-4047-976F-B3E0D7912DEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4671d35575b29fca5e725fbcf69a5959f95341af","datavalue":{"value":{"entity-type":"item","numeric-id":6768431,"id":"Q6768431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735348$B75B6F06-24ED-4B71-817F-60869588E1E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228583431b7d7b49b68a10e5ad593f8ceb57e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6693250e3bb0ce3d4304349952243d3deb1116","datavalue":{"value":{"amount":"+0.8544216156005859","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":"Q2735348$2790FD5D-75DF-4FE3-B389-A7C9AE199512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fd136eda795574c5f822efd64c7d5f118ed14f","datavalue":{"value":{"entity-type":"item","numeric-id":4696742,"id":"Q4696742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414d5c27f9b3e62420acc8f4680cfbf0c219ed2a","datavalue":{"value":{"amount":"+0.8328565359115601","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":"Q2735348$ED69D7E0-28B6-4E9F-9853-F334C56DDE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a6263ab84800b5758c896df5e4e5e08402b58a","datavalue":{"value":{"entity-type":"item","numeric-id":3129497,"id":"Q3129497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556c65792390a29fccfa40e7fac5bfa2cd848564","datavalue":{"value":{"amount":"+0.8310890197753906","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":"Q2735348$398AD44C-2272-429E-94B6-9F43919AB195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cee84b4af354bc11e8df3b9fec6cfd8addbcf1b","datavalue":{"value":{"entity-type":"item","numeric-id":3727360,"id":"Q3727360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f599c286c6b2e2f938e99720a230738d83ab8c","datavalue":{"value":{"amount":"+0.8213370442390442","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":"Q2735348$5B4E8582-D15F-43BF-95ED-1AC3C85E9192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecc62da2baf7dcc1ce0f207f1a460233baca30a","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f9ae0f74e17c483f45f83fee0d1860d366f32f","datavalue":{"value":{"amount":"+0.8198989033699036","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":"Q2735348$C5A6BD8D-F6CF-476D-8BC2-33D2A8A68FE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2735348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2735348"}}}}}