{"entities":{"Q3192181":{"pageid":3202889,"ns":120,"title":"Item:Q3192181","lastrevid":45644428,"modified":"2025-12-11T20:20:03Z","type":"item","id":"Q3192181","labels":{"en":{"language":"en","value":"A Focused Sequent Calculus for Higher-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348227"}},"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":"Q3192181$3ECA7935-AE9B-4D27-899F-CAF7F201AC02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3fe9a7f58f8cd414f263280fa71d7a84c938a83","datavalue":{"value":{"text":"A Focused Sequent Calculus for Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192181$5875A5E3-FC6A-42A2-BDA1-D582B0C7E2DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45f7074ea331e630f4ad033c05dc12f0cf403977","datavalue":{"value":"1423.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$3A5451A8-1DA6-4D2B-9497-27F6D230C161","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66952317a162ecc0007182d2cd7c6a1b09dcfeba","datavalue":{"value":"10.1007/978-3-319-08587-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$83D09136-F88A-48F9-8CC2-E444706F716F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a8c72bd141d161cc2a0cd916655acbe79456646","datavalue":{"value":{"entity-type":"item","numeric-id":2871872,"id":"Q2871872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192181$87149AB6-D1CF-42F1-B061-68238ACC5078","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":"Q3192181$6C21DFBB-25A3-48E0-B979-EEB218AAB449","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":"Q3192181$77A170D1-6BB9-4353-B1C2-83B590B8B36F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$3CE0C09B-F6F1-4A46-B9BA-CFA9E92614A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$F7F444C5-9F81-47B5-B402-7EB83A76D99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$9FDE17AC-BBBE-4F38-AB0E-0D930CE20F2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6fb9e4219d56575462f84364ed5e4ebdfd869c4","datavalue":{"value":"6348227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$07DFD9FA-C8C2-4034-957D-0D848A69558E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adecf1248d62f0ca239433953e8240b0639cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":20976,"id":"Q20976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192181$A09FADCA-8904-4090-A3E3-58ACB419E493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192181$73913B99-16F9-4318-B799-84F9E774E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53f05770302a5e6870dfe9aed5a78e67d74a3e9b","datavalue":{"value":{"entity-type":"item","numeric-id":25217,"id":"Q25217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192181$A3618793-6F15-4A0B-BF3B-7A605911A1AD","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":"Q3192181$1D1F7D2A-B82E-4ECB-BA70-93DD5A53C14D","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":"Q3192181$40D10FFC-AAA0-4B36-AF27-94E5DB84E8D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f15bfb2647a98f910a80f6f6d0a309b16b7e1c6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192181$5A3CBAC4-4AF3-44C9-AFB7-98C37DF030E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b4528a8a7c77e554c1941709737b7270cc7fe25","datavalue":{"value":"W29796863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192181$837034EA-CBC8-4C14-A986-33F314E7BB5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18214adb8510ecdfe7e9c193d22335c9ac98e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3607559,"id":"Q3607559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7353ef54db199d85b72fbc3d41cb4c96a17cb7c","datavalue":{"value":{"amount":"+0.9289094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$6EA60D9C-CD5C-4CA9-8E1F-0F4D4F2CF10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b0949bca6460ae1f5912e2961866309910fefa","datavalue":{"value":{"entity-type":"item","numeric-id":6162119,"id":"Q6162119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679bdc02f651c939fb40f20af3fc3766f61fbbef","datavalue":{"value":{"amount":"+0.9255961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$E145A72D-76B7-4E88-97CB-C76CA071E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee2aa6a51b1b93df4de61b0bd3750e32e61d40e","datavalue":{"value":{"entity-type":"item","numeric-id":5149144,"id":"Q5149144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0843dbaa80f60a44fbf4e019a6905336de1b5b","datavalue":{"value":{"amount":"+0.9187103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$603055F6-AF9C-4515-9F2B-FBB54669743C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a660d9d5255306cc978cb97b1ed3f7b9449abf5b","datavalue":{"value":{"amount":"+0.9182842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$441285D0-0DEA-4108-B160-DE07DC934603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472f6fcf5a9640ee8dc62f01bfbbe8c432024fee","datavalue":{"value":{"amount":"+0.91540045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$7141429B-C0B5-4E64-8839-9C5F24B11E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f7b6d181ca588b90f058a509ee2012677de188","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c426fef6961372f90194b8ee9ad9b8c291507c","datavalue":{"value":{"amount":"+0.9148898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$1C90ADFA-E72C-4507-A7EE-102C3F030F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c710db4eaf5ba52fc5fdcdea032f1f85e2cef","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140afa14e0f15dfe726c72e62e58a89d8352fc90","datavalue":{"value":{"amount":"+0.91328657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$36F8A280-3E41-4674-AD7A-188ED4F23AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ac2dab1a000483379ac4419fbaf1a8627cc8a8","datavalue":{"value":{"amount":"+0.91281027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$BB4679FA-84A9-48DC-B215-3A717F0218C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4d7ae803c71d3c2d5dcf494c8f50c720bb52fc","datavalue":{"value":{"entity-type":"item","numeric-id":2104520,"id":"Q2104520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97dfe998a788917094d18a4a3cc838f1dd8d67ad","datavalue":{"value":{"amount":"+0.9127363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$8F8EC63C-56B3-4AED-BA59-6CA085496035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646bea5d3a383d70718dfa822714e9d4b8f6dafc","datavalue":{"value":{"entity-type":"item","numeric-id":5224669,"id":"Q5224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85e836d76e50ab89f6f44ba1620806ffc167268","datavalue":{"value":{"amount":"+0.91186833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3192181$231E7163-DF80-488C-B8B0-0FFFC6FE7714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192181"}}}}}