{"entities":{"Q3126165":{"pageid":3136881,"ns":120,"title":"Item:Q3126165","lastrevid":46720275,"modified":"2025-12-25T11:27:43Z","type":"item","id":"Q3126165","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994053"}},"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":"Q3126165$29C9759F-39E7-4509-ADC7-E81A99A4CF41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac0327909332860a12d607b9f84280a120fbff6c","datavalue":{"value":"0871.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126165$40CBCEC8-9781-4C20-B466-33B6D3314D1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126165$0DEAB834-7AEB-4F43-B584-2AF5A33AA66B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d250258e50f25ba7a5c107932b647b4e128b8c9c","datavalue":{"value":{"time":"+1997-09-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":"Q3126165$6CDF09B8-ABD7-4A60-BAB3-7A65817B7F27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126165$83E7A02E-D574-4CF7-BF42-AF33A379CB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126165$56AFFCE9-CB7A-4B8C-81C8-5226BE3781CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17c3220bce189dc7f459e40564013fc8f665b530","datavalue":{"value":"994053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126165$98714107-E278-434B-9E66-7D965E803D62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68ebcec79513f8bef761deaa9a29c9c3ce88388","datavalue":{"value":"definitional transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126165$44177E64-678B-40E3-AA5F-9F12A09A8516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126165$7B498BC8-CF3C-4D29-9BA1-EB37916C0CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126165$F8C482E1-2B39-48FF-9499-794C0ACAB8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78eb9d047d77cbf1b4306fdcf4d8b376ac2c3d6","datavalue":{"value":"cut-free LJ-proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126165$A765DA81-0575-4592-9362-D77CAF541F1F","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":"Q3126165$E521FD11-AB9D-43D0-B539-CC0EAC62B7EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f6bdea796f599bb5e96e4631f9d18633079dc9","datavalue":{"value":{"entity-type":"item","numeric-id":674761,"id":"Q674761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1338892c7a51ac90aa0db74b859825d417f853","datavalue":{"value":{"amount":"+0.7804029583930969","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":"Q3126165$A9E5DD33-9F63-43A9-9301-B2958F5C5300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b59ebcba5f5cd513bd950f5f05359111a86127","datavalue":{"value":{"entity-type":"item","numeric-id":4223027,"id":"Q4223027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b79dcbc3f73bdc53cd5330343e530a4d580a6c","datavalue":{"value":{"amount":"+0.7517886161804199","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":"Q3126165$6EE849CC-ECA4-4F8C-8E17-9C7AC72FF25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62b47e1e57371505f73ae495562f73e346a3596","datavalue":{"value":{"entity-type":"item","numeric-id":4647537,"id":"Q4647537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2cb0de8748f3586bb915d0c1d91918f7094aef","datavalue":{"value":{"amount":"+0.748520016670227","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":"Q3126165$749F4639-2563-4AEB-ABDA-DB18DB94E4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0da5756a7c577b2ecc5d0379456c9475b674324","datavalue":{"value":{"entity-type":"item","numeric-id":1854384,"id":"Q1854384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d983c548476a6b49506dec8c5fb603c5717ba49e","datavalue":{"value":{"amount":"+0.7478289008140564","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":"Q3126165$EA1D87D2-BEC9-43B2-AB91-54F375E5C921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3126165","badges":[]}}}}}