{"entities":{"Q5191105":{"pageid":7220677,"ns":120,"title":"Item:Q5191105","lastrevid":50728715,"modified":"2026-01-14T23:14:03Z","type":"item","id":"Q5191105","labels":{"en":{"language":"en","value":"Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587942"}},"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":"Q5191105$9A6BA446-861B-4F2D-903C-6A5EB7D6476E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71750600d354460c28d1962567744d8de60ba7fe","datavalue":{"value":{"text":"Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191105$A0DC36E0-C709-40AF-9BE0-42449A40DEB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"234f5cec31eca2609f02e925c54e927ba1a9aa1f","datavalue":{"value":"1250.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$449EC5D4-83E3-4337-9669-F7CC2002667A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a28b1bdae2a2decad09716cddac85113a25b3cc","datavalue":{"value":"10.1007/978-3-642-02959-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$4488E579-2AD5-4374-8659-5A8E78766B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77ef26b195160569d7e65188fa689f9dd610af9e","datavalue":{"value":{"entity-type":"item","numeric-id":2225087,"id":"Q2225087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$7474913D-9DDE-47D1-9F94-6674CBECA721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$EA099742-50D7-4FC8-BEB4-CA243C8FB26B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$1492A9C7-67C0-48F3-9113-746B01028C93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191105$A761711D-CAB9-4F97-A7D6-B19FAA9033BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$4FEAECB9-5A5E-4978-B845-BD64F2E15753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$8A06C977-14E0-427D-8461-523193A0BF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$184FBFA3-E092-457D-821C-0119A8F6268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$B38F0E9D-3A69-4BE1-ACE7-E51B4B635806","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b81effea4a8ae33c1de8f10696f58df00a2563aa","datavalue":{"value":"5587942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$E6E498B5-D376-4D8B-A360-A634A6441E62","rank":"normal"}],"P1463":[{"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":"Q5191105$F23BB4EE-2EA8-44D8-B55E-A0CC4FCD904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$13270452-D813-4B6B-9ACC-AD8F4EC3D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$4C18DA3B-C247-4458-9DEA-D9B8130D592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$1F188904-2D0D-403F-ABCC-2A47B55A504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"876fb0cc3526e415b58c0adb93387f0b0ff466ae","datavalue":{"value":{"entity-type":"item","numeric-id":23330,"id":"Q23330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$C1F126F9-8C01-4917-9066-B4656E8654D4","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":"Q5191105$0BB9F6CB-B8A0-4A6C-9E4F-13DCC19DBD46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23845c85d85ae0c36ebe7ba97c0bd797bc5572d5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191105$5CC56990-806B-4D76-B157-AFBF9293C085","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32ee38ecf159e015514a3d23bb18a17550119217","datavalue":{"value":"W1604435911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191105$D9AB20E0-069D-4632-B140-E46F15E1EB36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$318F7CEC-9B76-4C2F-BC58-C9DBD1FD103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$B60A8C68-9723-49E6-B55D-21883C0FFA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9ce23a390aca5ab2f9e7fc1d9ba7525a0aa93d","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$9DC5B138-CF87-43E8-BA50-0E5F83761022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c9d090643b66ab61947250d83f48f8f8ed8ea","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$2CB6A3EB-F83A-4B1F-A959-EBDCC1642FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c990f7473437368929348051961f829bb40c","datavalue":{"value":{"entity-type":"item","numeric-id":2751355,"id":"Q2751355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$EB2F64F1-1B98-4BFF-B218-CFDB73F0DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf670e64a6cf63cb8d60b11cd930f4ce42cede15","datavalue":{"value":{"entity-type":"item","numeric-id":4524770,"id":"Q4524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$26EBB9C2-60BB-4C80-BACA-0ED0D3F04F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$4F2A9045-5102-49FB-9FF0-7E4B74D41B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc6f55557416025d6c02fe837dd8287da5d5b83","datavalue":{"value":{"entity-type":"item","numeric-id":5523671,"id":"Q5523671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$835DC3F2-540D-4AC4-8B2C-10C8A924CD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c9b2f70e928b43c9bc7263147397fb35928e51","datavalue":{"value":{"entity-type":"item","numeric-id":5505551,"id":"Q5505551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$69C092CF-E575-4D2F-A373-E7E2897F2AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77934a6d5bc0387f249be5391d2d8ab48fe4b8c1","datavalue":{"value":{"entity-type":"item","numeric-id":2871877,"id":"Q2871877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$C2D85875-64B9-4299-9B82-0058291C47E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$BE91F388-2A2A-427F-BEF5-335F1EC4019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$0C9E2756-D8CF-40D6-ABB5-5AE173F3E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73048c8f1aeffa8a2a75edad22af3b7fdb975ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3189855,"id":"Q3189855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191105$C8C430EF-129C-4B81-B2B6-490DAAC03801","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8897b503f35dfc7a7d29212f92d8ed25b0532f55","datavalue":{"value":{"entity-type":"item","numeric-id":5505551,"id":"Q5505551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efd9fe6f5b16754d1fb365b077b6ebcc924beb8","datavalue":{"value":{"amount":"+0.8979979157447815","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":"Q5191105$7F67F880-9E2F-4B22-844F-18130AB47D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e629d1cd6ffbd991fdd8c8388457a782a8aefe2","datavalue":{"value":{"entity-type":"item","numeric-id":2806784,"id":"Q2806784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e09568e81c7d363365160836e9055311aa0c981","datavalue":{"value":{"amount":"+0.8452045321464539","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":"Q5191105$0BDCB074-E966-4E6D-8C74-5952579C3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466a9f9f3ff5f5bb2e378a4464c6add8363b3716","datavalue":{"value":{"entity-type":"item","numeric-id":4264724,"id":"Q4264724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c8bbfd4c32ac2465f89d0afed1d5b919bf7b73","datavalue":{"value":{"amount":"+0.8132192492485046","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":"Q5191105$0080204D-2D6A-4FE1-AE23-48AA3925FEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40826d8e2370c6b67b444d3bb1bcca8486bb5753","datavalue":{"value":{"entity-type":"item","numeric-id":5394607,"id":"Q5394607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1d7930b6d986a75c41b8ddb578282b89433999","datavalue":{"value":{"amount":"+0.7923502326011658","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":"Q5191105$93ECDE8D-D662-49C2-9C28-6E52803318EF","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":"bae8c6604c24ce2d2493fe67fd316aa501dc8622","datavalue":{"value":{"amount":"+0.7754826545715332","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":"Q5191105$37360EDE-CAF6-42DC-BE8D-EA77CD5DA94E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191105"}}}}}