{"entities":{"Q3535607":{"pageid":5565511,"ns":120,"title":"Item:Q3535607","lastrevid":50492660,"modified":"2026-01-14T04:58:26Z","type":"item","id":"Q3535607","labels":{"en":{"language":"en","value":"Canonical calculi with (n,k)-ary quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365474"}},"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":"Q3535607$90111B84-9CE8-470C-B6D2-1C1118D0DF91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4a4dd78de89e5e0bb96b3dc4607a4cdfc7abaf1","datavalue":{"value":{"text":"Canonical calculi with (n,k)-ary quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535607$7B364FC3-1054-47BB-A9D1-366C56FFC999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5d75ccf69cf7e8e9e6f1bc42a114debec1fa361","datavalue":{"value":"1151.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$928B1188-6D33-43AB-81F4-6F385EAA67F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09b38fb35e83d2fbf88ec110a06763e479d3ce4f","datavalue":{"value":"10.2168/LMCS-4(3:2)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$3AB135EA-30AF-4891-812F-E1B4925804E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535607$3DD63E5C-1011-46C4-AF50-C67453B6953F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535607$6C729CD7-075C-4C42-A400-30ECB29F56E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535607$6C6A8C23-CBB3-429E-8D68-E93801FB60CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535607$2FFD9AAE-BBE9-4BBD-99F8-6D1C484A699A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$12919DF7-40B8-42F1-A11C-62A5DF1BA279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$D0EB37BC-72EF-41B0-84B1-5D1B7743E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$58BAB94D-8CDF-41CE-9A33-B64027BF9710","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de7818efd617874aa711bede8d285994e07bdf7a","datavalue":{"value":"5365474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$BCCF315E-E4C5-49FC-9F98-CBCEE5C2951A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535607$2F25FD81-89AE-403E-AB33-D5BFC9252360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535607$80EAE320-8C81-4913-8E4B-ED481DDAE6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f7ab8a31d64901e4fee20eb49bdce6df1b3f37","datavalue":{"value":"canonical Gentzen-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535607$8BE6B7EA-98AA-4A3B-8125-F46D950F310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535607$778D8A83-D38E-4799-AC46-7D9AADE0A709","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":"Q3535607$980C038F-7FF6-43DD-B9F9-9A026F6A0A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd8cf32684fb5591142b54a1a36a2cee78bca572","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(3:2)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535607$E5E32D4E-751F-4E8A-A0D2-5AD5E8388E69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8963c7d8ac0971b5877c6beb33b8c2b65337223b","datavalue":{"value":"W3102748092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535607$BCEC3194-EB3A-4F00-8B8C-A137CC0BE61F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd455376ddf7aa13b36810a6853f59175cfbd42","datavalue":{"value":{"entity-type":"item","numeric-id":3613413,"id":"Q3613413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0c5cf1d7e421efd7f60ef9f13e827d6624be71","datavalue":{"value":{"amount":"+0.9712722301483154","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":"Q3535607$0668E773-D3E9-4D44-A44B-9374911E45CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132504702b62a0a627813df4747f1fcd8baaf34c","datavalue":{"value":{"entity-type":"item","numeric-id":3503624,"id":"Q3503624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23288e9d5680ee65fad4d4461fdbda3a1c611b6d","datavalue":{"value":{"amount":"+0.9035370349884032","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":"Q3535607$FA3023E4-FE80-4412-A2F8-FB4B15716B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be205fd64dfd400864056623bad1cee33d3f12","datavalue":{"value":{"entity-type":"item","numeric-id":5434496,"id":"Q5434496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d11ef71be3794089b354f3caab8826e13154406","datavalue":{"value":{"amount":"+0.8901186585426331","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":"Q3535607$6CF79B85-2603-4A57-B5A9-938F2A75A482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4874711864e7ac0ebbdeb0eb689ea26a8804e77","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cfc0b9c19f9feb6f6dbc90bab11c5b435f5d3f","datavalue":{"value":{"amount":"+0.8867565393447876","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":"Q3535607$D8BA912D-3D2C-4A23-84D8-5C1BE813A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b609b8df5be996b155b2abbaed77cdb881600be8","datavalue":{"value":{"entity-type":"item","numeric-id":408550,"id":"Q408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de13105287e2c06413ea627b6699b55655fb6fe5","datavalue":{"value":{"amount":"+0.880460798740387","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":"Q3535607$10CB3303-7EEA-4979-8363-551D31EC1A12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535607"}}}}}