{"entities":{"Q4263170":{"pageid":6292771,"ns":120,"title":"Item:Q4263170","lastrevid":41258795,"modified":"2025-04-25T16:11:22Z","type":"item","id":"Q4263170","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341621"}},"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":"Q4263170$2EE12E3F-4509-4CCF-AC74-A53F7AA431B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b4bb64eb3a5157fc9b6a485f55a1ca299338fa3","datavalue":{"value":"0937.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263170$7340081F-77EE-46E3-BEBA-30643B30DA1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263170$738D1F47-904C-4775-ADB1-1288624F79F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f495a2af5f8b93b8f2551a494368effda123783","datavalue":{"value":{"time":"+2000-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263170$BF0970F2-4699-4DA4-BE0A-19F51DDD1E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263170$B150FFF8-01D1-44B1-8371-92C5B9EAB90A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7f6d5efae0837bc6cbfe1453400f08441d368e","datavalue":{"value":"1341621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263170$7F55E139-A0B0-42F6-8FB9-A51BF37973A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263170$1928EBCE-C2DF-477D-9335-A61B58ED24D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263170$7ADBA9A9-6EE0-401E-9C66-51B340C61496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775227bb73079640d8b4d57f94433ec19b50020f","datavalue":{"value":"Henkin model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263170$7FD0AB9A-BA98-4C67-8C53-A7F9B97BBE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263170$FF211C84-E183-4A2A-A9DF-F9115DB773BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42d0367ffc4d2b82e6fb2192cfde6351c1daa402","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263170$8D6E9E8D-03C3-45F1-B452-821BD1F2CF07","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":"Q4263170$2BB6FCB2-3F3A-4E8D-91E1-17824E5C42C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf76f67380c4606cdc24ddf91ef319c5e832666","datavalue":{"value":{"entity-type":"item","numeric-id":4249891,"id":"Q4249891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70b96907efe758530677f2a5e3fd60d879ebc40","datavalue":{"value":{"amount":"+0.8925121","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":"Q4263170$883DF7A5-2A71-4D47-80E3-4E9769C1F9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5071410fb4f588702a1cd4f98b5757b9c9f99e5","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc121a97855d00849fe2603248ca263c2773254","datavalue":{"value":{"amount":"+0.8688116","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":"Q4263170$B7606813-9776-459A-8663-30540F9D4E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab06b27e0fec3c4518b2c6d579879748341c8fd9","datavalue":{"value":{"entity-type":"item","numeric-id":4557854,"id":"Q4557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8740c73f0d978c54c8b60a401dfae63625cf42d2","datavalue":{"value":{"amount":"+0.82981896","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":"Q4263170$968F6421-8950-4132-ADE3-7529442597F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120ded7ca9b5be707cf214aebb611fbbcf30f99b","datavalue":{"value":{"entity-type":"item","numeric-id":352977,"id":"Q352977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868d842f42686889bad40ca83de108507ff872c5","datavalue":{"value":{"amount":"+0.82831025","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":"Q4263170$3BDD9933-246E-4C19-9020-ED6025CC9F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda5e5b218472d58cb44b6b9c3f42935dbe3785a","datavalue":{"value":{"entity-type":"item","numeric-id":4539049,"id":"Q4539049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9be77eb847c5bae1a69ea4a3968ac6144ffb6d3","datavalue":{"value":{"amount":"+0.82756263","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":"Q4263170$DB6584E8-39E4-4A6F-9863-D1BE37F4ADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678f52d20cbd1ed66863391105aef6e91c97f013","datavalue":{"value":{"entity-type":"item","numeric-id":3623219,"id":"Q3623219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb37512da7a1d0c60f5b4b674d71509abed91c4d","datavalue":{"value":{"amount":"+0.819804","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":"Q4263170$EC8586FB-2205-4F2F-B205-1F2EF905A4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba5fe614f37729627860c550cad193284b6a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4447227,"id":"Q4447227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccedc38bbe44ccac0466d9b69c45f7da600b536","datavalue":{"value":{"amount":"+0.81409234","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":"Q4263170$8610B8E9-EA87-4863-8A68-1FD9D7581F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2824205d706703e1c3d3f58efb7e55c5b1ccff09","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127e9bc86f17f759a16304c52d578d17829c3ea9","datavalue":{"value":{"amount":"+0.81374633","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":"Q4263170$9CF25969-994D-4EE6-B12C-5882E2269AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b2346a304143cf4b5a1ee5758312d6d92d47b1","datavalue":{"value":{"entity-type":"item","numeric-id":5466538,"id":"Q5466538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f082120214e30ce700b1a2b609322d184386827b","datavalue":{"value":{"amount":"+0.81091976","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":"Q4263170$5704A7C9-DB32-430A-B65E-F5CBB519D1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be9898932e748c2fbe35f3818c0a5e7025aa540","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f49abcf0d83783235ceca692a5cabed029b9b12","datavalue":{"value":{"amount":"+0.80998397","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":"Q4263170$2B03B94B-D4FE-45B2-989A-345BD2882DEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263170"}}}}}