{"entities":{"Q1650338":{"pageid":1661079,"ns":120,"title":"Item:Q1650338","lastrevid":56968266,"modified":"2026-03-25T09:56:23Z","type":"item","id":"Q1650338","labels":{"en":{"language":"en","value":"Admissibility, compatibility, and deducibility in first-order sequent logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898183"}},"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":"Q1650338$CB66779F-9B75-49C8-BF2D-75C3AE940F7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4db22734d0f9b71817f0385e84eb78da72abcb","datavalue":{"value":{"text":"Admissibility, compatibility, and deducibility in first-order sequent logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1650338$0B8FE890-F045-4772-B7F5-834F39F3B19D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"474efe65688a42598cc1c58e6bd3210795f43c81","datavalue":{"value":"1390.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650338$432E617F-D4AE-47E8-BD9A-721BAFE2121A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e53255bd22b5553843b3b4c1a51d83b6732157f4","datavalue":{"value":{"entity-type":"item","numeric-id":1621571,"id":"Q1621571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650338$61EF2580-B0A7-4ECD-962E-043BA59722D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e919ee3e1bff25d5819a92667748233ad0caa11","datavalue":{"value":{"entity-type":"item","numeric-id":203304,"id":"Q203304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650338$7A144B14-908A-4442-89B9-3E0CA61B059A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f018725447469cf7bbbe6e46592707d7247bbc01","datavalue":{"value":{"time":"+2018-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1650338$885FB3F1-9242-42E6-9C71-C5CC593E6862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eecb93a83e048beb38af11f5033976d272598e45","datavalue":{"value":"http://www.math.md/publications/csjm/issues/v23-n3/11978/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1650338$19F34531-69D7-4193-9C7D-667FD6090024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650338$DB8EAAE1-271B-4429-B282-9B0EC104A92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650338$DF6DF51B-9053-41C7-87AA-82787ED54D80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88d72a305d274834699f1638fb71ce7c9aa65876","datavalue":{"value":"6898183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650338$E4AD5854-D4D2-47F6-BED2-029777D4D26D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b00112b9dc317a3fd79acefbc40d0971d24f8a","datavalue":{"value":"first-order classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$72EABEBC-61C0-4F73-BB3C-6148EDC3D42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ed3a565b440efb7c72cfda0ae916b17012e0ce","datavalue":{"value":"first-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$C3DB9116-8593-43A4-93B4-F54FE3B33564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$0A4AD51A-A07E-440C-8184-118B170F86DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$7F266F90-2571-4421-93D0-0B84032DB4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22239041b8a2a2b31a96e1dc61737317cb2bab","datavalue":{"value":"deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$28DC74E8-C8B0-41F3-8EDF-FF8383F15802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$7C4B99C1-5462-4C65-BE1C-73AAFC27112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$FD2C7C68-D63A-40EC-AF4C-B624A85D9E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae247da230ae1d3ef0f7272e1cbb6b4e79557af3","datavalue":{"value":"coextensivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$5EDF88CF-FB9E-4B74-8204-B3F2C88FFE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650338$75B1B8CA-61A2-4419-BD64-598B5D680B1F","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":"Q1650338$8A0C90E9-301E-496D-96E0-5B02E34B9B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e776ff48e52afdc855d34be81bb53f23a2b91326","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51c3add5a4f1c7b034ca0c529b1ad9f615183fe","datavalue":{"value":{"amount":"+0.7398860454559326","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":"Q1650338$BF35EBB1-DBAB-492F-892D-4288DF95B6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d428879f17005e43d7b201c4a077729f42bc46d5","datavalue":{"value":{"amount":"+0.7322819232940674","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":"Q1650338$ED67ADFC-52B9-4C87-8C94-45C466653F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f33ac833c0c88849b3905e0d4e00288219541bd","datavalue":{"value":{"amount":"+0.731650710105896","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":"Q1650338$59FDF369-D459-4EE6-942D-E9F117C25B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7309f5abe6c6c959cb5d8cad420198bae933d237","datavalue":{"value":{"entity-type":"item","numeric-id":2743638,"id":"Q2743638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e997771b02f5de68925337e327d9a11035ea567","datavalue":{"value":{"amount":"+0.730048418045044","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":"Q1650338$EA04202A-0657-45AD-AFE6-C901D6C50C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9b0ac012c64650888fc79d96c76478066237c9","datavalue":{"value":{"entity-type":"item","numeric-id":1689558,"id":"Q1689558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48ba43def63c34f561d1b252d34dc08f11d73ad","datavalue":{"value":{"amount":"+0.7212719917297363","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":"Q1650338$1818C28B-6FBA-4492-AAB6-B0E1C3A93B57","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"601a8be25209c46f574d1c22a38bee2246bce6f6","datavalue":{"value":{"entity-type":"item","numeric-id":57078,"id":"Q57078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650338$5F21D926-E1B5-4EA8-AFFE-94A3398BF745","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1650338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1650338"}}}}}