{"entities":{"Q3681965":{"pageid":5711871,"ns":120,"title":"Item:Q3681965","lastrevid":50100925,"modified":"2026-01-12T22:50:59Z","type":"item","id":"Q3681965","labels":{"en":{"language":"en","value":"An Evaluation Based Theorem Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904001"}},"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":"Q3681965$47344BBB-DF4B-47F0-A416-9DCF283A8DC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db8f7cee2b1f3863bca66327ac7c167f65f82800","datavalue":{"value":{"text":"An Evaluation Based Theorem Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3681965$656562FD-A9C5-4DB3-8D72-A30A9B10F296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02694100940c5f05b5d5859ce98631ffaea053fc","datavalue":{"value":"0566.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681965$9656843F-F586-4E81-AF90-79A0AF1C9897","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"945fdefdc374ba548a84830f1297f15eaac180e9","datavalue":{"value":"10.1109/TPAMI.1985.4767619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681965$DEE589DB-36AA-4B81-846D-756774F4D807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fe980964290dc38ffca38f8e788ff9ae90c9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1228370,"id":"Q1228370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681965$761614A6-BF1B-4551-B287-18D6A31C555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681965$A9550756-6BD7-4EE6-AF04-70790A2B778C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d1d792ed87a1ed972cee9acec003b26cdd731e6","datavalue":{"value":{"entity-type":"item","numeric-id":65470,"id":"Q65470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681965$6A7887B7-7BA6-4036-8FC4-58521E7F35B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3681965$0C46F452-F117-47C7-A3F9-23668B7122C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681965$04301413-872C-467F-96A7-69193267E7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681965$DECEDB7E-53D4-47C9-AAF9-C5B1E4952235","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b4e4c5a37a66dd655a996a38481af2d87fd7fe","datavalue":{"value":"3904001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681965$F638A670-F27C-4308-A18B-9E06D353181F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73bf9efb038fae01bcc7e07d9e7340b69df3ead","datavalue":{"value":"inductionless proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681965$4C0C69C0-0212-4E85-952F-E504DCF99D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681965$C162D2B8-375D-447C-AA33-89F65BB3FB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe6f097caa77e558071e44424b775d684f9d93f","datavalue":{"value":"iterative functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681965$F40B70EC-B18B-4822-AB38-DC1792130409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6a3fc341e1f579c18f7681e6ea2f8d6ac6e7e8","datavalue":{"value":"symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681965$0F646110-60D7-4B26-88EB-42CD5E330DBC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff64e4eb8d92f21de3b9ea5fea27b47e178eb4c4","datavalue":{"value":"Q52677725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681965$BDD559B1-CFE1-4123-A1E6-28481163CC30","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":"Q3681965$93AFC935-7238-4B4A-95EE-7748C61F06E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e777294aa17a655dae4f9283ee80f136bd0e50d8","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f3ff2f4faf3a87c0ffad562701c663b1b7aba5","datavalue":{"value":{"amount":"+0.88877445","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":"Q3681965$92A76821-6219-42CB-A320-C6E9B0AAD13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b65ef03a8e1c664958a167d7beaa4811cb0c57a","datavalue":{"value":{"amount":"+0.88873595","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":"Q3681965$AC195A27-1FEF-4F2F-A212-0E0AD981C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19b95e27ef87c7314f5d4a46d130247a1c491df","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b65ef03a8e1c664958a167d7beaa4811cb0c57a","datavalue":{"value":{"amount":"+0.88873595","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":"Q3681965$F27E2112-F83B-453C-A046-97884B11DF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24639935b1fc18141c101f4b933403324bce254","datavalue":{"value":{"entity-type":"item","numeric-id":3830546,"id":"Q3830546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f498ec4d49794957e11bb6555f2f3c4dd49eab2a","datavalue":{"value":{"amount":"+0.8806623","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":"Q3681965$4EF72C10-C1AB-4BE2-9E7E-A843B69598AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e829ba67a2705529c876fa453030f7a97a88269","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f498ec4d49794957e11bb6555f2f3c4dd49eab2a","datavalue":{"value":{"amount":"+0.8806623","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":"Q3681965$EFB49ECC-A86E-45FC-BBE5-443B0E9F4F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b903a19090357de4120dc9041604b513860f18","datavalue":{"value":{"amount":"+0.8759887","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":"Q3681965$575FA060-3D57-4004-9221-524EEAA476ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8aa88f960b08160c56495dd31aafe873551353","datavalue":{"value":{"entity-type":"item","numeric-id":3732983,"id":"Q3732983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1aac50f05f75dcb84140fdb1b4781dcfc45e60f","datavalue":{"value":{"amount":"+0.875763","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":"Q3681965$05E3E088-008C-463D-9338-A6757A1BEC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8e779d38f59f17c27d5a271ccaf92826d30698","datavalue":{"value":{"entity-type":"item","numeric-id":1431338,"id":"Q1431338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc4abb3423e310fc6de785f9bca3996cb6005cc","datavalue":{"value":{"amount":"+0.8747634","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":"Q3681965$EE4CBE50-C783-45AF-AA6E-93972A525AD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3681965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3681965"}}}}}