{"entities":{"Q4904131":{"pageid":6933710,"ns":120,"title":"Item:Q4904131","lastrevid":98203721,"modified":"2026-06-05T16:55:29Z","type":"item","id":"Q4904131","labels":{"en":{"language":"en","value":"Extensions of proof-intuitionistic logic without interpolation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6131582"}},"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":"Q4904131$C0D74816-4382-41A9-8451-B980D693EC3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b81d0257c219faba04a43e712a2cf1ff1b8df7d","datavalue":{"value":"1262.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904131$BBBA1947-4DE8-4E8F-BBA5-B6000D730A0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e2d6e8a74a3c54443dd9b48488c790347e113","datavalue":{"value":{"entity-type":"item","numeric-id":922542,"id":"Q922542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904131$CE23D954-60E4-4DA6-BC9B-90987F6F0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88a151b841cf108b651e2a4979a7f8068a8d67f3","datavalue":{"value":{"entity-type":"item","numeric-id":735947,"id":"Q735947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904131$2A52E4AA-15D2-4D8C-B1A4-761482A14049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab088451157c933b8b5d1688c69e028b7366511b","datavalue":{"value":{"time":"+2013-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4904131$B841BE61-7C0C-4A08-8F1A-6ADE6D979314","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904131$0F8724A8-ED59-4BAF-B8C3-B2A5A3EFC58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904131$5C089181-8905-48E9-95E0-CB6F8BEBB0E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e44273ab4871786f718483c983bf7f04083a0790","datavalue":{"value":"6131582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904131$B7AFD3BA-4DA4-4D1B-A42A-A49F99397C77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8db094ef5611a159dd9a6984bcbd60cb0cf988d","datavalue":{"value":"proof-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904131$C58A161C-9E9D-4DAA-9B37-91FCB4D1903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904131$BF7A511E-CF7A-424A-AA7C-FE1A84C9816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ede838197fd5c3a197bd636d87e1821da277817","datavalue":{"value":"finitely approximable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904131$397D54F3-B940-4441-B790-D5B8FAAAA09B","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":"Q4904131$1D16D864-52C7-4FDB-BE49-17609C5BCB6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48199efc53c99b03924b26063d2f95dc61b43ada","datavalue":{"value":{"amount":"+0.850088894367218","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":"Q4904131$C8072BEE-8B79-4447-B101-EF4EF5E4BF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926dfacb33edfd0e302e489753e0ae12368ae5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3546097,"id":"Q3546097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f9ef31166772988ef1f5c6c0b2839d4c3c18b8","datavalue":{"value":{"amount":"+0.79329913854599","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":"Q4904131$921B1710-25F6-4BB0-9FAF-D8829318656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114a06fc50a12eeea3e2d2a4c351c645c5ee0378","datavalue":{"value":{"entity-type":"item","numeric-id":1077401,"id":"Q1077401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64b1ca5b875e59c817806264a5ce7b18dc1ead1","datavalue":{"value":{"amount":"+0.7764345407485962","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":"Q4904131$6F09A928-FF13-475F-997A-1842F7AEC173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cd5dbedd943718de0d8da8c051654b83f7e484","datavalue":{"value":{"amount":"+0.7748714685440063","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":"Q4904131$9C2FAA67-9DAE-4CF0-B169-BA9F8EB1F2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223af006a7370a752cdc2c7826a4f13036327473","datavalue":{"value":{"amount":"+0.7712748646736145","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":"Q4904131$D8645A5D-1C8E-4307-AC79-C1C208B3B0FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions of proof-intuitionistic logic without interpolation property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensions_of_proof-intuitionistic_logic_without_interpolation_property"}}}}}