{"entities":{"Q2784641":{"pageid":2795379,"ns":120,"title":"Item:Q2784641","lastrevid":83266994,"modified":"2026-05-07T06:55:50Z","type":"item","id":"Q2784641","labels":{"en":{"language":"en","value":"Quantifier handling issues in computer-oriented intuitionistic calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732871"}},"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":"Q2784641$BF8E8D0F-EF3C-4FAB-8093-33128CEFC8A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aceb4eb5632a833d8b17ce5a01fcc0bf691932c","datavalue":{"value":"0990.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784641$953E1E11-C297-46A2-B7A5-86F820F8D33F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784641$7015ED89-DC17-4DF6-A8D1-CE4E4A8F67CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784641$7D8CE14C-F306-46D4-AD04-3A4C623E3798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784641$59D17C97-E292-4889-8CC1-5FFBF31D7ADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26859350c4be73efe62058736e19653d2ef7bc78","datavalue":{"value":"1732871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784641$8D0CC7B1-CC6E-4830-ACF8-04E39D611B62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784641$6967A024-5E13-4C22-A313-49E36EA96E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ed3a565b440efb7c72cfda0ae916b17012e0ce","datavalue":{"value":"first-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784641$7717C536-DB81-4FB5-8611-75EF5DA805AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9599841f5d6f23f992a91f23fc0eebcb55659258","datavalue":{"value":"quantifier rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784641$C75FBBF2-F13A-4EBA-B53B-941397FD2D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2348bc2275f2e6a10dd79269b8001df4847632","datavalue":{"value":"admissible substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784641$9ECD4C78-9617-49FC-8641-B271DBA9B3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1145a6985ac08a12c7b5814ab749505451c3ce1","datavalue":{"value":"inference search efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784641$29FF1FE2-C771-425E-A6B2-196F39F9CC8A","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":"Q2784641$460B6784-F445-490B-B6C6-5DC09C3ABCB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d31c175cfe8d796b2271b831e51d81c17b025c7","datavalue":{"value":{"entity-type":"item","numeric-id":1650329,"id":"Q1650329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784641$C526A22A-FF7E-4742-8BA4-19CBB0A544C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c367efaae692f2badb40e65eb68f388566610335","datavalue":{"value":{"text":"Quantifier handling issues in computer-oriented intuitionistic calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784641$9552FE72-A9A6-4AD8-8799-29B3FE1A217D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516c0d9ade4668ccaad1376068843547fa30bd7c","datavalue":{"value":{"entity-type":"item","numeric-id":5901869,"id":"Q5901869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4af660918c190110e89bf6b63fc0b9da5996226","datavalue":{"value":{"amount":"+0.7966234683990479","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":"Q2784641$66EF9840-1DEF-41C5-9873-8193F07B67E2","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":"1f1cf4d30029e4daa300cbe5740324a50fa1fd52","datavalue":{"value":{"amount":"+0.7645309567451477","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":"Q2784641$7A2895D5-8FDD-4525-9511-85CDEAC704F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757fa420436f388bedc28bb7fdc03d5d96452d77","datavalue":{"value":{"entity-type":"item","numeric-id":4829319,"id":"Q4829319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e729974efe70b11017faf6e935e63c474705eb4d","datavalue":{"value":{"amount":"+0.7583606243133545","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":"Q2784641$59E26661-DE24-43AD-9200-CF4130E377D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7711afdf877725af8e431071b470ffbd337d1f93","datavalue":{"value":{"entity-type":"item","numeric-id":3533140,"id":"Q3533140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1b28c63beea136b7d85b6b73ce12d000162432","datavalue":{"value":{"amount":"+0.7441576719284058","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":"Q2784641$EA4B31B1-090D-4089-973E-8DC18E7A56A3","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":"f50d8989457b62fff76b0e8d16d8a972f3be0e4b","datavalue":{"value":{"amount":"+0.740620493888855","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":"Q2784641$82A64E1D-983E-42A7-8885-9A741AA605DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier handling issues in computer-oriented intuitionistic calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_handling_issues_in_computer-oriented_intuitionistic_calculi"}}}}}