{"entities":{"Q1610676":{"pageid":1621416,"ns":120,"title":"Item:Q1610676","lastrevid":72328407,"modified":"2026-04-14T04:09:51Z","type":"item","id":"Q1610676","labels":{"en":{"language":"en","value":"Partial instantiation methods for inference in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784336"}},"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":"Q1610676$85D45359-7EB7-491B-B224-DB9EE02DA683","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce63e80fa0ad6dbcb3f0076f38bd913eb831c07a","datavalue":{"value":{"text":"Partial instantiation methods for inference in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610676$2AF31943-885C-488D-AD0B-D593A8DA10F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4483c6b48896da3cb83646d46be2ee5ef2b3a5ce","datavalue":{"value":"0995.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610676$82A31618-C6D1-4982-89DE-848A5B083165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"008dcd72eee6bbdd2b3966674dd061156c16c532","datavalue":{"value":"10.1023/A:1015854101244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610676$A75B4CDE-8205-4EFA-ABE7-89DD86FD73B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610676$6D991661-C89B-4F74-9862-13CCEE9336E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610676$381B52EA-EC4A-4727-8161-273ADCE56E8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bc61368984c5e3500adde65887085533364de4","datavalue":{"value":{"time":"+2002-08-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":"Q1610676$51691794-B05B-41B0-B55C-5C651D7DC779","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610676$3F827E51-4C78-49EB-90F6-8643AB61A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610676$A7F76C03-20CB-4406-8943-4BD1A5E5B111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b9fa2fc94a43fbb8843e51ffd537ac64caa17fe","datavalue":{"value":"1784336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610676$791BE88F-ADD0-41F7-901D-5260AA21A59E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0634b490a4639eeb6732497eb5e16842e3f9e3","datavalue":{"value":"satisfiability algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610676$3F464FEC-4680-498A-AA22-4A49DE51429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a24fc20b5d2be25c70b915ed0d792f36ff401ea","datavalue":{"value":"primal-dual strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610676$10B2AF11-473D-4701-9C5F-EB03196153F4","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":"Q1610676$5A80EC1D-D7E3-4283-8F8B-89282C69014F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aa7af5673753fc30d351c904341230054111e9e","datavalue":{"value":"https://doi.org/10.1023/a:1015854101244","type":"string"},"datatype":"url"},"type":"statement","id":"Q1610676$C7A7B5AB-9CC1-46D3-8182-DE9CF13373D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9314647d182a9ee315f3124c140606e2bc6cb7e7","datavalue":{"value":"W2147593720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610676$5EE5DC07-B74A-49BE-A197-51C5015925A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed6e64f71f3ca960a1204ab3c9772aa3ef5c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":1326778,"id":"Q1326778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df3df57e4b4aa1de449ac3f4ad335b1af12fa43","datavalue":{"value":{"amount":"+0.90733284","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":"Q1610676$B2F5B74F-31B4-48B1-A151-D7DA513B9496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c940193c7d4ca81c70f416319edd3702e916d","datavalue":{"value":{"entity-type":"item","numeric-id":1309900,"id":"Q1309900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f03428c1f3fef18ebe12d3be98e1c1f373635c9","datavalue":{"value":{"amount":"+0.8992883","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":"Q1610676$E68A4297-1752-4EF8-9117-CDE7313016A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5172a92f343de86c9809e312fd2211d411a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2964455,"id":"Q2964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef7e122a0bfea501a1d386914b98ba19413833c","datavalue":{"value":{"amount":"+0.8986617","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":"Q1610676$E5940D47-A376-4843-B092-9D77B24FDE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca926648b6e53da805b017264eca5f653bace98d","datavalue":{"value":{"entity-type":"item","numeric-id":5712303,"id":"Q5712303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af08db93ae3918065a63657d8d4772ef9b0764d7","datavalue":{"value":{"amount":"+0.8866695","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":"Q1610676$2F7FB880-F426-43A1-95BF-3AD40C6B6BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec2888b669862d9830ecc1fd2cca6621c8ddc33","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1e0e1dd7697eecd4f4407e33696bc5d642b146","datavalue":{"value":{"amount":"+0.88650596","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":"Q1610676$2DB15F6E-CDB1-4FB4-B4C7-0516F2F918FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a708bd95fe19950e3ee44ab1250de3085d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5286918,"id":"Q5286918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d82efed410cb0e1b16d5a8d9dedd7b7608fbe3","datavalue":{"value":{"amount":"+0.88359827","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":"Q1610676$AEB112E1-080B-4E70-B133-C2168343E0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a902b96cbe48e2d57405813b9eb097d8ba7744","datavalue":{"value":{"amount":"+0.8802372","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":"Q1610676$24828C60-8BBD-43C2-8E0F-F043D0D3139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60177cd7f08633dbb86d3ab0418b481b257c5740","datavalue":{"value":{"amount":"+0.8801276","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":"Q1610676$D76F3DF1-FB8F-4DC6-9135-CF6FDA5D3C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492fa29755fcf1ce7f861406674428a4b21908d7","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f49ebe6e3413f3e0aee231de6991b9fcac2e3f8","datavalue":{"value":{"amount":"+0.87866753","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":"Q1610676$73EB55E5-F08E-48E5-906B-1FA51BB530FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial instantiation methods for inference in first-order logic","badges":[]}}}}}