{"entities":{"Q4254825":{"pageid":6284426,"ns":120,"title":"Item:Q4254825","lastrevid":46680510,"modified":"2025-12-25T09:37:43Z","type":"item","id":"Q4254825","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310972"}},"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":"Q4254825$82E54971-6E6F-4916-A1A4-1F2C7220EE63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41d61320b0fab6873c7bc57afe2b2b3ea13b72df","datavalue":{"value":"0936.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254825$CDAF7141-E44E-4075-90A5-39A691D4F912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7d8b4f321b37e5a358e033a174600e8e846dc0","datavalue":{"value":{"entity-type":"item","numeric-id":190263,"id":"Q190263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254825$5E00B5B5-454A-48A3-BEC0-1F58D444C0DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254825$2CBD1221-9CBC-45DD-B0BF-990BC21340BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254825$87F31079-8DE2-4F64-A4EC-BF54BE494AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254825$F1A24CFF-4468-4098-81DB-B487DE07C780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254825$973E8F9A-E957-4ED9-86D8-428741AFC956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e640d07ec3cbd8357304b070684ee5821b048550","datavalue":{"value":"1310972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254825$6FB38400-4F74-4E4E-A2DF-90BCB7EE79F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$F00FD655-66DB-4431-972F-4373E5E6E3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4deaef76b87a6336fae878541f002b7292f976fc","datavalue":{"value":"bivalent semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$C6E9EE81-CE51-494A-891C-7B362A4FD7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69745618a351d91f9e4029fef7bd5446c0389ab0","datavalue":{"value":"excessive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$2279A231-DF55-44F5-8BBE-9922BD5D3301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52dfcdfb2ff8a721ea53ffad53684da6df715a1f","datavalue":{"value":"normal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$640ECAE9-AE64-4976-B783-69098E305F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$C1D2E89C-B484-4F92-A12B-4A9C24959015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac2f044080c665bebeb822c46b5d9bdea6b81e0","datavalue":{"value":"pure negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$F04D7534-4900-4A3A-9FC8-EA7A0570351E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$08F68215-DCBE-4A3A-A5CE-A79ED04B7AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102b3a8ca3fc32cbc81ac161df95cd47cf72fd31","datavalue":{"value":"connective logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$E8D420FD-A841-455A-9DEE-FF2FAAB86892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faefae04bafb8895a61f168bda00e1e1ab932eb9","datavalue":{"value":"absolutely free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$1C0139D7-CE97-4751-8D8C-70A39EEF65B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$66447B5C-925C-43BA-8239-F7D34BFCEEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9728a94383bdab575347d94ad47624790d23055e","datavalue":{"value":"structurality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$FCE11CCA-9D9F-40F8-A6FC-ECD5B8CCB118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a1e6de62f7ecc0960618928ea269d08485d387","datavalue":{"value":"truth-functionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$1B971809-4EAF-4B49-B91C-E757F59971CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"087d2ea86f3418789c89397f13ade932ca461d85","datavalue":{"value":"bivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$E75D9774-3BE2-477B-8CAB-31EA9B5EAB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$5130E164-B285-43FE-89E9-36EDCCAEC9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$EFFE6973-6F86-4686-8E33-8BCD473E82C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254825$62740C11-2878-4E35-997A-4F2936817CD2","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":"Q4254825$511F1C33-70DA-4D5A-9747-C06A2F3A5CCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8ffdb3a22e42950c5c0a5e3d25d46a9e68684","datavalue":{"value":{"entity-type":"item","numeric-id":3033739,"id":"Q3033739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15aebe455ef11018800ba0f03aa3cb9ec8cf2ca","datavalue":{"value":{"amount":"+0.7592495083808899","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":"Q4254825$E7346520-3240-4A8E-8E8D-25073083FBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372774b5fff440b26f979c29e493c44deec6e539","datavalue":{"value":{"entity-type":"item","numeric-id":3187717,"id":"Q3187717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7475f238351f59f0ac1880ca2474d9be482ca9","datavalue":{"value":{"amount":"+0.7475148439407349","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":"Q4254825$E34C6DF0-C702-495E-B3E0-894C7B3DCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2051bcbec7597817a3c60e1750e1ea7098d7ea","datavalue":{"value":{"entity-type":"item","numeric-id":1386684,"id":"Q1386684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2564adda29d8d633eb4f28a1f045b047bba88b48","datavalue":{"value":{"amount":"+0.7334052920341492","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":"Q4254825$6B2DDC50-A9CE-4323-8307-53B9244C3BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611668d1f47a45deb042a9074adae630e84de23a","datavalue":{"value":{"entity-type":"item","numeric-id":3400792,"id":"Q3400792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c681340cb2fa86e570fdb194e3c465f089bad5f","datavalue":{"value":{"amount":"+0.7288020253181458","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":"Q4254825$1F50624A-C247-48A7-A920-88F2BDFA7306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405ec9b0c7ca0a0480d960c0fe207dd12bf33c37","datavalue":{"value":{"entity-type":"item","numeric-id":4925909,"id":"Q4925909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b2c4782919677f83a08d1f1c7ee0efabb5289e","datavalue":{"value":{"amount":"+0.726702094078064","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":"Q4254825$2030482E-CF6D-4ED1-AFB9-6F23DDE495E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254825"}}}}}