{"entities":{"Q3192197":{"pageid":3202905,"ns":120,"title":"Item:Q3192197","lastrevid":80114537,"modified":"2026-05-06T15:28:25Z","type":"item","id":"Q3192197","labels":{"en":{"language":"en","value":"A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348241"}},"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":"Q3192197$9440D477-0EAB-4957-9AD0-8DFAD87262D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357fafd0c85c0603b4fb286c69c248145e7035a3","datavalue":{"value":{"text":"A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192197$0FD6733E-09C9-4923-B7F4-C65650E23E64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a3ca765e360de635ab785b534914b60a8b0d30c","datavalue":{"value":"1423.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192197$E8E53644-8641-40AE-A6E6-D045255D9AAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c865ca34ce9803116ab532bd73b22bcb09942fb","datavalue":{"value":"10.1007/978-3-319-08587-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192197$150F27F8-6037-4D23-ADDB-A319F1E2B3CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192197$5ACC062E-61E9-4C36-9137-513E44A3F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d62bf655cda2978b8793a93b841c891db2b4777","datavalue":{"value":{"entity-type":"item","numeric-id":2908500,"id":"Q2908500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192197$8C44691F-24E9-4714-98CE-CACDAFAFA04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d81fd6732f4c27290ea587931ef0f61ffddc62d","datavalue":{"value":{"entity-type":"item","numeric-id":3192196,"id":"Q3192196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192197$888AE953-A021-4527-A8EC-9F2FDBA776B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192197$0BABDBE5-7751-4F2E-8ECD-A3ADFB80074B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192197$071150CD-10E5-4CEF-BD8E-FA7AE36EC116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192197$B1815E15-B9F5-434D-A7CF-D86090852BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192197$43518947-A7B1-4197-B2E1-A4D6AC8DC04D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad1a7bf6bc3786c200a3d9f7ed9bc03bc6ace7ec","datavalue":{"value":"6348241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192197$2410B039-4F6A-4930-BECE-E80D14F70ECE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db9a3e11bfc8def7d98aa39e62594c2c96cc2801","datavalue":{"value":{"entity-type":"item","numeric-id":23329,"id":"Q23329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192197$A0963307-3F32-4C00-859C-44D08A7121D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192197$6A232E38-D397-4A37-B93A-3084770D4108","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":"Q3192197$E85E533B-7A5D-4831-B021-6B93A13DC327","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be10f9f87d20880266f5f9194783edc9a6083cb7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192197$21CC498C-D1D5-49BD-A95E-E9E41D898E1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87609931994d9b70145ac860da8f88ae8702255f","datavalue":{"value":"W2554014980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192197$2B219B7E-F756-48C5-BC84-A13E8CAFE185","rank":"normal"}],"P1643":[{"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":"19b9a4994c0eb5a1ba574ecd6a0a4d68b9d4b6c6","datavalue":{"value":{"amount":"+0.7808523178100586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192197$E7D0EA35-E00B-4ECD-B555-57543FD6844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57dd8d582d32ac16558b5d505c52a9eeb92ab1f7","datavalue":{"value":{"entity-type":"item","numeric-id":2216868,"id":"Q2216868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690c215ff0d7a082cf8f9a4cbcf33dc456577612","datavalue":{"value":{"amount":"+0.7796337604522705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192197$16D63FBA-D0D3-4F26-82E0-E4828B5DEB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c789904cc9aa28865270aa04e090151115095c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4933312,"id":"Q4933312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6b6f0ab438b616d8db3ac5ad59d965a9efffc8","datavalue":{"value":{"amount":"+0.7724524140357971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192197$71DB2AB7-900F-4DA1-B4CF-473C4D378006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917801a55d8011bf7fe0b128c819b8556b40d3a1","datavalue":{"value":{"amount":"+0.7695645689964294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192197$6A345F59-B7BF-435C-9E21-C9D64DE10F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc991c4163e4d166664b7dca4d293463f6687987","datavalue":{"value":{"entity-type":"item","numeric-id":959821,"id":"Q959821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ad24d569a87d8e9e2426027fb4d7e48f71c3be","datavalue":{"value":{"amount":"+0.7624274492263794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192197$A0E5810F-7273-49EC-83ED-676CD46E27FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_history-based_theorem_prover_for_intuitionistic_propositional_logic_using_global_caching:_IntHistGC_system_description"}}}}}