{"entities":{"Q3129497":{"pageid":3140213,"ns":120,"title":"Item:Q3129497","lastrevid":86528243,"modified":"2026-06-03T23:45:04Z","type":"item","id":"Q3129497","labels":{"en":{"language":"en","value":"Completeness of SLDNF-resolution for nonfloundering queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004620"}},"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":"Q3129497$ADCED000-B1E4-4DB9-8BFE-F042BFE75F03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04a89770944de6baf88060bae8947c7a911b22b6","datavalue":{"value":{"text":"Completeness of SLDNF-resolution for nonfloundering queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3129497$7CB84BE4-7DE5-4EF6-AE39-AA8B6C900811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"734598bda7662762802f9eb9247ad6ac33c0b18d","datavalue":{"value":"0874.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129497$3340B93A-45D3-4CAE-A2A7-0AA3A511C053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0173343861e0a6bd59f2a55c7e00d99a7a70f179","datavalue":{"value":"10.1016/0743-1066(95)00118-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129497$EF7A3C37-C30D-4113-A08F-85C49E89A60C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129497$5F95F7EB-8675-4987-B04A-6C8AA88E5DF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129497$9CB15EAE-5F24-4050-8AD6-BACC5B206273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"723f17e9f8561cc274a12066e98f02324dedfa99","datavalue":{"value":{"time":"+1997-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3129497$85CECB06-875E-4C0F-97A5-E86C53EBF29E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129497$A907B131-7ED3-4495-912B-74F505BD0E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129497$4E97E363-BC46-40F7-B1D0-2F4F93FDF127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe6e949691d7ac71dfc5287061ad4d740870720","datavalue":{"value":"1004620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129497$97CC71DF-1486-4799-B8BA-11E824E5910F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129497$9149DE17-ABC9-479C-B981-4D92625FDAD4","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":"Q3129497$87F085CA-944C-4362-BD09-1BDDCF841AC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"684b4c37710086fd207824fb4a57a70bcdbb1113","datavalue":{"value":"https://doi.org/10.1016/0743-1066(95)00118-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3129497$0BF1E91E-5439-4CB4-B6A5-9E68626AB740","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74a0fded5b43440bb55d8928b4bb2b40db0542c8","datavalue":{"value":"W2098495937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129497$752DEED6-4B28-48C2-BBAB-B84816FD9E61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920ccb4ea61996d3353ace445b0399bf0d37d00f","datavalue":{"value":{"entity-type":"item","numeric-id":4238483,"id":"Q4238483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c534af5012eb6f9160da8848af5bacd78d30675f","datavalue":{"value":{"amount":"+0.8552635312080383","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":"Q3129497$B3A6E0BF-1E3E-46E2-B436-B97510FA4763","rank":"normal"},{"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":"e9cfc11e1e158b78faf2a2176cda4b5f1b742ae8","datavalue":{"value":{"amount":"+0.8529801368713379","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":"Q3129497$BF7D1290-4596-4532-85EC-0CEF1D93496B","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":"dc1d70c579f1026489303a9967116aaa72ea1778","datavalue":{"value":{"amount":"+0.8478233218193054","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":"Q3129497$8E69AFC1-BFA8-4695-8F66-435878C7063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1047f841df44ace2ad82262b68e36ef1e75e1e20","datavalue":{"value":{"entity-type":"item","numeric-id":4399716,"id":"Q4399716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1878e0cea1bd528bccbd5d543da5d635213c616b","datavalue":{"value":{"amount":"+0.842605471611023","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":"Q3129497$4A1B55BA-3E96-41B2-BB16-620CAF94AA29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of SLDNF-resolution for nonfloundering queries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_SLDNF-resolution_for_nonfloundering_queries"}}}}}