{"entities":{"Q4451468":{"pageid":6481067,"ns":120,"title":"Item:Q4451468","lastrevid":48243745,"modified":"2026-01-04T02:24:38Z","type":"item","id":"Q4451468","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2047280"}},"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":"Q4451468$56753B9A-214B-4CA9-B8EC-78659455B42A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0cec5a5f8311cc95bd15a04a235fda3a705752f","datavalue":{"value":"1033.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451468$27D8F5EA-2AB6-4C9A-AA03-84BFE5C77737","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451468$E2BBC74B-32D5-4A4F-9DE1-29386DD464CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bd903f884a641431fdcdac1884fafd5e7f53ba0","datavalue":{"value":{"time":"+2004-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4451468$0990403B-68D7-4D0A-AAD5-92AF21FF8765","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451468$8C65B9F6-B159-4FEC-AC30-0E5D9ABB6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451468$1B425AAB-14FB-4DB5-BE1F-C90BB60C9B1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4c8b7956c4723bedc87dda13270eb48eee6e1ea","datavalue":{"value":"2047280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451468$9CA858D6-6897-4829-B698-DA25F3669F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451468$204C82CE-AF3A-48F7-A01E-C9D8AFD7B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451468$72129EC4-E8CD-4933-BA04-A3622DB2BDFC","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":"Q4451468$2AE279F3-6F28-40F6-A4F2-7F6A59B5AE11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9388d8591a8b57a7ecf320336d97f1da925c61","datavalue":{"value":{"amount":"+0.8438869714736938","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":"Q4451468$3EA3860B-19A4-4539-8A89-35140AAA6412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187d8d2c062a69d6980ea5d3fcc5490c0535fe51","datavalue":{"value":{"amount":"+0.8416743278503418","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":"Q4451468$E26E11CC-1B59-43A7-8258-CED131D0FFA8","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":"c8402c125a031568d30efa8fd51d3db06023e004","datavalue":{"value":{"amount":"+0.8351801037788391","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":"Q4451468$DCD41118-C172-420D-BB7E-80DAF94A7653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0ad7d09102dd774ae4b161237a1d15424c1d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5928308,"id":"Q5928308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22411c752df0546ccda9a9bf2013893690e59d52","datavalue":{"value":{"amount":"+0.8319708704948425","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":"Q4451468$77DB1D35-9D2D-4426-AC44-1C3A4F546A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35192959b0b5442e0af7b43dbada0cf1139a8472","datavalue":{"value":{"entity-type":"item","numeric-id":1407599,"id":"Q1407599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c70d294adbd7d1dd81f7172ab1ba8e37104f22c","datavalue":{"value":{"amount":"+0.8292736411094666","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":"Q4451468$71971D52-B303-46F5-B711-FB846885B6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4451468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4451468"}}}}}