{"entities":{"Q4532365":{"pageid":6561957,"ns":120,"title":"Item:Q4532365","lastrevid":41124286,"modified":"2025-04-18T09:41:53Z","type":"item","id":"Q4532365","labels":{"en":{"language":"en","value":"An open research problem: strong completeness of R Kowalski's connection graph proof procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749616"}},"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":"Q4532365$22761B6C-E719-4536-A39E-BBAF79EE6A8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87a2ee4ef53f34c407f11594a0e2bef26c10c485","datavalue":{"value":{"text":"An open research problem: strong completeness of R Kowalski's connection graph proof procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532365$944E07CC-E5FD-467C-819A-7E36ED38D1C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"038bdf13fefdf4feed7ecd9fce78debec7e6bbeb","datavalue":{"value":"0997.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532365$A0A9A584-3A84-4431-800D-AC7FB633E0A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c343d7266e3ac1f198444a571c50c523729b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":820147,"id":"Q820147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532365$67767F49-A6D4-453C-AA58-A9E975C95794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bab389976986f970f2e5f82d3fb7533f611db58","datavalue":{"value":{"entity-type":"item","numeric-id":1124374,"id":"Q1124374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532365$F2348327-21D5-43D1-937E-C2A5035905D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daf47d982dc5d6c17963b04b1831bcbd7890bc7c","datavalue":{"value":{"time":"+2002-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532365$EBF4419C-28A1-4D0A-B58A-01D94ECBADE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532365$A8CADEF6-D292-40EC-A5D4-0A09A51AA4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532365$E623FB08-1EE9-4B12-AA21-1729D2675E59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfe8d70d0dcb6756510857c1d36dc1aa775eed60","datavalue":{"value":"1749616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532365$8DE0050F-7317-486D-B691-13CA7C9243AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fc629f2877b467b14274db74e8cee4bf991f95","datavalue":{"value":"connection graph proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$5DD6F773-D078-40B0-8833-4E299A49E33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf028a6349a1313c0943420c28b6f89654a807b","datavalue":{"value":"clause graph resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$BEA3B56A-6FBB-48B9-A137-82BD4BC9C459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$A6F43E22-79E0-4381-B91F-501212F02EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97882d0bde1c4f77ae961bd7d9e07c4aa7dc1862","datavalue":{"value":"refutation procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$24595A7F-FD51-4098-8572-11A52DD56237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$06ED1247-9DC8-4EA3-8AC7-24BE29A2B491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$9F39BF98-EE3D-40AF-9532-1F50D8D26566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532365$DA11B2FC-33D1-4CAE-BF58-8032B297FB6E","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":"Q4532365$FEA9195B-D4E1-4471-B36B-C773E3DF23BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1b26c7e44cc5caf6b91ffb06f03d2aab3c0b3bd","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.1.85","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532365$CF024479-627F-4FD8-A868-653D43286D53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40f647e5740a7c79b622d8708e041c60824a4212","datavalue":{"value":"W2157528908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532365$9CFF4DA7-92D1-4E05-A9AB-7174CB6C18B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"971231c6a66f2d495027edc693a9490e934be8f7","datavalue":{"value":"10.1093/JIGPAL/10.1.85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532365$2F1D51DD-E366-4568-92B9-09E74DA7E2E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fe00f9c6a8cd4db8689e96ce509083aebe6e92","datavalue":{"value":{"entity-type":"item","numeric-id":4707767,"id":"Q4707767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$17AE89D0-0C56-4F16-BF63-A62C21829CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b10b57bcd40fe579fd411a3d03a07273bfd5b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4377278,"id":"Q4377278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da1eb294bb24dbe47a4e086b652fc43e3c4433c","datavalue":{"value":{"amount":"+0.8669304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$6F9848F4-9F80-4A64-86A7-40161F276681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ad4139188d83539a6d61a53fe77002a6c7c002","datavalue":{"value":{"entity-type":"item","numeric-id":1695612,"id":"Q1695612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9652a4f3fa31222a7c7467c16739d9a8f22d10","datavalue":{"value":{"amount":"+0.8617459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$3226EC13-BE85-487A-9220-35FA273E9F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47887713e2e97abc9be8da5c38d42254a1fe6374","datavalue":{"value":{"entity-type":"item","numeric-id":3075166,"id":"Q3075166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0de4f644543c00ca91386581347c9eef094427","datavalue":{"value":{"amount":"+0.85580176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$734B4552-7B49-4179-8D7D-580A933995CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd1edb842127c385dcff5365eb982743db7bd71","datavalue":{"value":{"entity-type":"item","numeric-id":5052938,"id":"Q5052938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0076220aaaac50d28311d28bc22c1ad107eb66f","datavalue":{"value":{"amount":"+0.85518247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$12ABCDE5-F04C-4042-836B-52F9B38EC53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9746789f71a84f8f5443b6f493a7bcc38c051e","datavalue":{"value":{"entity-type":"item","numeric-id":4680417,"id":"Q4680417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be038275e16208302d742c2f34c6ff3573506601","datavalue":{"value":{"amount":"+0.8520039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$6BC3B5C5-FEC0-4323-BDDD-870DFB6E11E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c132e30b427b57610dbf392fa9ad40756c75d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2947006,"id":"Q2947006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca33ca5f0a2c03bb9550e358facef426f5e6732","datavalue":{"value":{"amount":"+0.8518896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$DE5E960E-2295-4825-A508-1CDDF832D848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4e3d5d5e4ef7ced4847d5386520ca340a441e4","datavalue":{"value":{"entity-type":"item","numeric-id":1210120,"id":"Q1210120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302b3c4622f7735c471e86dd90fddfb80849170b","datavalue":{"value":{"amount":"+0.8509124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$5541E48F-56E5-47B8-8B3C-27B1968DE9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f61ae21267adbb1d5a21d3a336d90c39f4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988754,"id":"Q3988754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e357b597450049e5085ca90de957f4beb439b51","datavalue":{"value":{"amount":"+0.8502316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$0A60EC9C-407E-485E-9B94-9ED56817C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e96efe1ec24e0f4825f1278b71988497bd981f","datavalue":{"value":{"entity-type":"item","numeric-id":3762350,"id":"Q3762350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8db4c7a9aa8d452403f09937fd9e5edfd413907","datavalue":{"value":{"amount":"+0.8496421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4532365$E40D617D-CA4E-40C7-AAD4-9F1075334B17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532365$67A91B0B-3273-4CC4-B4B8-3F10C429A6E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532365"}}}}}