{"entities":{"Q674715":{"pageid":676564,"ns":120,"title":"Item:Q674715","lastrevid":63487716,"modified":"2026-04-11T13:30:02Z","type":"item","id":"Q674715","labels":{"en":{"language":"en","value":"On first-order theorem proving using generalized odd-superpositions II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987546"}},"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":"Q674715$9F8AF235-3E18-40FF-9F4F-0DE7D2906E6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aef25c0beb0c2c2d651bce061c98727894a8cd6","datavalue":{"value":{"text":"On first-order theorem proving using generalized odd-superpositions II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674715$CEC8981D-3C8A-4F31-8514-5469A429CD45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c333e187260138449ad8a29562b7bebffc91376","datavalue":{"value":"0864.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674715$5E3FF556-459D-4BF8-B3FE-A18B723CC450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674715$629F3889-B232-4E0F-82DE-33DA8598D1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61487ca0be7cb12dc2200ffb1f20fde1d372e346","datavalue":{"value":{"entity-type":"item","numeric-id":1568231,"id":"Q1568231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674715$1872F95C-FE2C-447B-AA1C-50377D0310A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674715$D9E6E769-F071-4DC5-B3AB-8C4F6485E6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12bcc24bcb1687cc3955f148bdc9dcf1a4ac38","datavalue":{"value":{"time":"+1997-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674715$F7E640D4-CCE7-441F-AC9C-BAB51D72BE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674715$0D063658-0266-4C94-A312-A5B274B4E16B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e047818dcdc71beb957754fdd63107d7030959a","datavalue":{"value":"987546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674715$79019CFC-04A0-4F6D-B57E-C7ACCBB044FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223e038b0257b1eff6f71eb2b8e1792c8812da91","datavalue":{"value":"odd-factors","type":"string"},"datatype":"string"},"type":"statement","id":"Q674715$99FB0251-7932-4110-BA36-DEDBAD4FA9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q674715$42EE5641-5E88-4750-A8D2-EAD39359A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7284c78a55d4976ea9182e935f18f75cecdbefc9","datavalue":{"value":"first-order polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q674715$25BCD684-36EF-43E2-8452-6C14CA8CDC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q674715$308BC2B4-5402-4096-9F6D-8467416D5E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62da35bbed1be036cd7098c951c1c122f4b4ab86","datavalue":{"value":"extended odd-superpositions II","type":"string"},"datatype":"string"},"type":"statement","id":"Q674715$2B649B14-7B96-4A0C-9FE5-671634E14EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"285f0de1c3b090c2acdbd3a3e0bfe032a46aed56","datavalue":{"value":"remainder method","type":"string"},"datatype":"string"},"type":"statement","id":"Q674715$D060BA65-DAD7-4D66-94BB-6C4A0A369621","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":"Q674715$D2BC667B-B57C-4573-9AAC-778ED595DDD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b1cca5b3b4f8752faa6dd4c1672915b638687e","datavalue":{"value":{"entity-type":"item","numeric-id":1060857,"id":"Q1060857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8443eb1104082f95624a89e5e999172b12e1f248","datavalue":{"value":{"amount":"+0.8941405","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":"Q674715$BF29A47B-5920-4393-9F7E-E37B6D1BACF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcd94f921aa20f6b9b45b22d22d4796be094a6d","datavalue":{"value":{"entity-type":"item","numeric-id":429582,"id":"Q429582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c77d7cb2a0dcb89fef3057c0404ad5320757c4","datavalue":{"value":{"amount":"+0.8687349","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":"Q674715$21CC2606-BC3B-41B3-9A1A-A737C2717476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b4e5a63cb4379d9ebb8567a8fb5f4ba79e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9decab9102d2a8faf683af694b25a24bb827233c","datavalue":{"value":{"amount":"+0.86526805","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":"Q674715$75AAC952-A6B2-4E6F-9E35-134EC782B9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb84e5269fb5f8d35048e0fe2e9b8c92ba96e86d","datavalue":{"value":{"amount":"+0.8648927","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":"Q674715$23C240FD-422F-45D8-AB25-A3CEC141CFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52afda677e64159b16b4cdc4cb0de749df927f07","datavalue":{"value":{"entity-type":"item","numeric-id":4323033,"id":"Q4323033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720fe5cae0872de71c478c4c67c0d6b4b51fb141","datavalue":{"value":{"amount":"+0.85952514","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":"Q674715$EA6CFE4F-A8F0-41A5-9B4F-CD6BA7EDB939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ef1cd3605aa6ce6e75ceca15d3acf39a324c9e","datavalue":{"value":{"amount":"+0.8591608","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":"Q674715$4E3A8786-F29A-48E1-8109-81228C44C058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716f31798a9fa13116e903e42ff9e589042733a4","datavalue":{"value":{"entity-type":"item","numeric-id":4539614,"id":"Q4539614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da49734c25b1bf7f5fc6763eab0df7b305445a0","datavalue":{"value":{"amount":"+0.85910547","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":"Q674715$367ECECD-87F6-4A52-BD85-F0F06A09AC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd0c19cb06b58d8cc19912b2614149540808aba","datavalue":{"value":{"entity-type":"item","numeric-id":3775523,"id":"Q3775523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80773ed9fc60305197e1a01e150e4bb089b23555","datavalue":{"value":{"amount":"+0.85900414","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":"Q674715$58FCB539-12AB-4EDD-A37C-918EB55119B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f42aea26bf3cfb4fb56bd08c26466c74989e4baa","datavalue":{"value":{"entity-type":"item","numeric-id":5929830,"id":"Q5929830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9313021740a54cbc06241df0897df8716abe7f3c","datavalue":{"value":{"amount":"+0.8577327","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":"Q674715$29CF8D83-0790-4785-9D05-65E6B000F541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b713701d62b1812a72a660b2a8755f651cfd694","datavalue":{"value":{"entity-type":"item","numeric-id":3358706,"id":"Q3358706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4bbcc254ce36b112cb3736bcb38e60a4dd0291","datavalue":{"value":{"amount":"+0.85699105","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":"Q674715$D0778F0F-9AFE-4855-82DD-B3F5E72125E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On first-order theorem proving using generalized odd-superpositions II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_first-order_theorem_proving_using_generalized_odd-superpositions_II"}}}}}