{"entities":{"Q4285644":{"pageid":6315245,"ns":120,"title":"Item:Q4285644","lastrevid":47237707,"modified":"2026-01-01T02:31:00Z","type":"item","id":"Q4285644","labels":{"en":{"language":"en","value":"A new definition of SLDNF-resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 529958"}},"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":"Q4285644$2E9FA5BE-2619-4D1D-A473-9F3268FD4C74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d7424459bae85398edddec2cf43805cd6d3dd0","datavalue":{"value":{"text":"A new definition of SLDNF-resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4285644$54B8F19B-4A65-4593-A0BC-9957EADEF8A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b1307680d70df1c0ce5f79b440beb60fa15ac2","datavalue":{"value":"0795.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285644$592A9194-03EC-4BDC-9FCF-3CB9429D027D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed3ce67cb6925b4679b689834f2f314abd99fecf","datavalue":{"value":"10.1016/0743-1066(94)90051-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285644$B6340777-64C8-4E50-A0E2-0415F5270E35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4285644$CD545F76-26B2-42A9-9CE4-B582475F1817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ecc260075ee1599934d252f5b5017b5aa41542","datavalue":{"value":{"entity-type":"item","numeric-id":579236,"id":"Q579236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4285644$FC4F76F2-92F1-4F14-821D-5E234920880B","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":"Q4285644$2D9150DB-3D39-417D-9877-F3D4345131DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa18405ad7aea3872a8a7595abd2ae0dc552ef7a","datavalue":{"value":{"time":"+1994-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4285644$242A67D6-7F30-418F-8DE6-81FBEE70FF61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f321251c7325e6a4afa6de52d07fd033effc45c","datavalue":{"value":"http://dare.uva.nl/personal/pure/en/publications/a-new-definition-of-sldnfresolution(2f57d7cb-71d4-495b-a4da-7c6a6640bf5c).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4285644$2BDCD6DC-F4AC-4E29-9F9B-3D1CE4952405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285644$61405DB8-5AB6-4BC2-94AF-45830E9FAB81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87037d81027cab25373132a1dcb896d9395650a7","datavalue":{"value":"529958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285644$B9970C81-5BC3-492C-B282-17BE74C23E29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4285644$153C8CFB-AD65-4BAC-A7D2-E8B2F3187CD4","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":"Q4285644$BF81BD9B-2360-443D-9F8C-FFEEADF9DD8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37cbacfc20b29b8e46c9061a9e912236ed7af067","datavalue":{"value":"W2140857706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285644$3E9476B2-0EE8-425D-87F9-BEAB41B47C75","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3da110a0ca499472c12e0f0439556a40ca18a395","datavalue":{"value":"Q127482562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285644$69FC0746-A0D6-4461-B7A0-8AE218757299","rank":"normal"}],"P1643":[{"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":"ae8ad2c7a27dc46860777c3d03bf7e9239c7d909","datavalue":{"value":{"amount":"+0.812359631061554","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":"Q4285644$0985B2F9-64A4-4FF4-9B25-51BBF1246B26","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":"ead3c3eea1524de73b4abf9e0157bf2d6801fb0a","datavalue":{"value":{"amount":"+0.7633715271949768","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":"Q4285644$6F3526A2-2123-4338-8045-D0CE472F0729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddec39672dc8919395d3c8e6e18ec86b736d8d10","datavalue":{"value":{"entity-type":"item","numeric-id":1189731,"id":"Q1189731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead3c3eea1524de73b4abf9e0157bf2d6801fb0a","datavalue":{"value":{"amount":"+0.7633715271949768","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":"Q4285644$E6A7904B-91C5-4A5F-A90A-BC7EB14718C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ab11b413f55388f9ae7fbf28410df8cbcc6140","datavalue":{"value":{"entity-type":"item","numeric-id":1350529,"id":"Q1350529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36e39824d06b596657d49db44c9806b3c9d311d","datavalue":{"value":{"amount":"+0.7586196064949036","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":"Q4285644$CCF2AC45-B2DB-41A8-B04D-7E9D19D5A678","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":"17c78cd89c2fa731848a39d12f5838d1c39bfdf3","datavalue":{"value":{"amount":"+0.7548241019248962","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":"Q4285644$9F2A0D24-1E87-479E-B963-813F329DF5A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4285644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4285644"}}}}}