{"entities":{"Q4362908":{"pageid":6392507,"ns":120,"title":"Item:Q4362908","lastrevid":39821119,"modified":"2025-01-27T17:53:57Z","type":"item","id":"Q4362908","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086658"}},"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":"Q4362908$78746AA2-2CBD-40CB-80DA-9A53F1198AD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d39c8c4ae279a74f6b7bcc6cc427471b8e46c10","datavalue":{"value":"0889.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362908$0ADCB21E-7FC8-4D37-9AC5-2E9FB7F38317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362908$ACAE77B4-978B-4587-B9F1-CAFE9BD4BF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362908$AA13C1B0-AB15-4CE7-A972-1C16898ED2D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da5ec653cd76b79075d7eca2361024c9b561613","datavalue":{"value":{"time":"+1998-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362908$6E6460F1-19C1-436D-BBB1-0C0D99BA2CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362908$C6276BD6-A981-43C2-8C72-2C8A10999F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362908$C6F35D54-D4C5-4ED6-AA1D-0CF9833EB6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362908$8BA2188F-8252-4D38-A7A3-9AB87FF17663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c218a20d495ed7a9f68dda302e7c5163f0f2b2b","datavalue":{"value":"1086658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362908$CC619A2B-ADC5-498E-8680-1A5CE97AF363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"056f960c78a699273a2c40d8946d2da79a7be430","datavalue":{"value":"fast cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362908$D055577D-3CA6-4BFD-88CA-C7E6179E6975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ee231224c87298bb021afe77eb688e7a6bcef5","datavalue":{"value":"Kalmar elementary bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362908$04BF2635-45FC-4A7C-A036-D5374360CFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63908065bffdbcf3d7d961af4717a8f1dc6ecc3a","datavalue":{"value":"cut-projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362908$F3CD6D23-4244-46ED-B681-44A58D4607C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362908$139C5D3D-C7BA-40CD-9B84-29BA0DE4F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac34d89a0be2adaf0d5980892852c27d67a24e5","datavalue":{"value":"exponential bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362908$A7B1AD7D-7E77-4130-BF15-CAC06BB00257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74edee14b0d78780bfc70ebb7c5e1781f6fb7bbe","datavalue":{"value":"Statman's sequence of sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362908$395A45F6-74F3-4D33-97C2-5BFB04E98DF8","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":"Q4362908$68105117-3066-4161-A705-41857753DF2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683d8ea6562b7a7c1b67c292a24a1e238af2b304","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c4c5c7ce5d27c1ceb8dc20c6459d1d0c09e665","datavalue":{"value":{"amount":"+0.850898","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":"Q4362908$85E2E6CA-8E8E-4E0D-B55D-2246BEC2071A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc41173b1b731a6eacf4ea36290d2782b8ab0342","datavalue":{"value":{"entity-type":"item","numeric-id":3001091,"id":"Q3001091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5caebb87d7b68202ee9ab71a681e32f4a14e37","datavalue":{"value":{"amount":"+0.82298744","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":"Q4362908$7329367A-0715-443C-BB50-43E9FCE2554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077265d84b403984be6c7fd9e56d71eec563a97f","datavalue":{"value":{"entity-type":"item","numeric-id":1093632,"id":"Q1093632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf12d76df1a3c0c2c229f20340b8f7766376cfb9","datavalue":{"value":{"amount":"+0.8093147","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":"Q4362908$44DDC293-5473-48C8-BB5F-9DF66F8BADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf88362f6428d5d0299f9f394699d6f8456b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":2368983,"id":"Q2368983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0e2e66c2637c02498e4e12f9e8dac5692a3eaa","datavalue":{"value":{"amount":"+0.8092074","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":"Q4362908$4D376BD6-DED6-40B8-9DD9-FC3855F4B76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae76515d6348a1777aba34e5d6a5bf8225d7ec00","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b821f20508644925e583595f7b4a04d7aade65","datavalue":{"value":{"amount":"+0.8035543","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":"Q4362908$3C969FE9-C778-4262-B698-894E7575FE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc833c0de071a9374a09b3209df6f501c8bc0cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4487267,"id":"Q4487267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf9bdf64f8ab9f89dc7dde5aaf510149689e8c4","datavalue":{"value":{"amount":"+0.8001325","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":"Q4362908$5E04B8F6-0142-4ECF-B1A2-BEE05FFE8C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136caf30b7bec1623a1b401939306a55d5c36065","datavalue":{"value":{"amount":"+0.7955103","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":"Q4362908$19E9105D-3A94-45BA-A8A0-4CF8E2DFBF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cbd1ba43daf19238adb776423a3bbcec50d35b","datavalue":{"value":{"amount":"+0.7946001","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":"Q4362908$24E2C8D0-38D6-4B34-A9DB-2CCA42946E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2f0364eddd9dde4fbc637777ff49bdd08d80dd","datavalue":{"value":{"entity-type":"item","numeric-id":3586051,"id":"Q3586051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121b464280716ef41036eef89ddb16cc5bcd0a37","datavalue":{"value":{"amount":"+0.79349756","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":"Q4362908$C81760A7-7F24-463B-B049-F36E5646EE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bca1d06dbb6380267a6ecb6c728afd5be6f617","datavalue":{"value":{"entity-type":"item","numeric-id":1125056,"id":"Q1125056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6c56862c84e8db4a9621e159fe9e66916dadb1","datavalue":{"value":{"amount":"+0.79247606","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":"Q4362908$8C7A8624-0FDB-416C-AE92-FB70087F8A5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362908"}}}}}