{"entities":{"Q4376072":{"pageid":6405671,"ns":120,"title":"Item:Q4376072","lastrevid":46997850,"modified":"2025-12-26T00:41:30Z","type":"item","id":"Q4376072","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114353"}},"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":"Q4376072$08B6CD39-8C40-4343-9DF0-88B6A4A3FBF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd87fa6632e2c693fc019c71ab65a94997d1d3c1","datavalue":{"value":"0888.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376072$C26DE050-7FC4-489D-AD13-6F955AEA9F43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e114da960e66084585eefdd4a3297121ee7837","datavalue":{"value":{"entity-type":"item","numeric-id":1272762,"id":"Q1272762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376072$67DC62DE-C8CF-4584-B782-C1143589EEA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1742a10e6409607193ef806e8f573a0e208ec887","datavalue":{"value":{"time":"+1997-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376072$5BC61193-D90A-4D21-9E46-0C2ECC946793","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376072$D06D096F-CD37-4C7F-A3F2-D26914DBC640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376072$1ED72938-FD13-4688-A5F1-8F6B6CB113EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2268e776c83b7f1a38d85a6dcaf44cd88abfc081","datavalue":{"value":"1114353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376072$CF539AB5-5BFF-46CA-B33C-A3AD43DC4305","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de216b2a633637058435b9fe5b73e4c7ffd59133","datavalue":{"value":"second-order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376072$3962CFF3-08CF-41DB-82E4-EDF4D2FF2D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376072$06CDDDEB-749E-499C-902E-3249501A442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da5d6e25b0a3f76fa4ed849940e2ec800052b59","datavalue":{"value":"fragment of MALL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376072$449D022B-E0E4-495A-9E5F-ADFCDD4E6C87","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":"Q4376072$DAC36178-DF5E-43B9-975F-2CF3EF50CB7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c90d30f30f7720e588f3505c801601d601767ca","datavalue":{"value":{"entity-type":"item","numeric-id":1960427,"id":"Q1960427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e804c666bf3a139adf4ef12ab3c71dd707bd8ac3","datavalue":{"value":{"amount":"+0.9281062483787536","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":"Q4376072$0C41E4C5-6998-4925-87B2-FD1767AE492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e6a251ab016feaa4137e4afcbb632f48c6b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4395614,"id":"Q4395614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31793d9be89c6997576f390ac7473b03f81c943f","datavalue":{"value":{"amount":"+0.8490356802940369","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":"Q4376072$49AFA65A-50BB-4B2C-AF7A-74EB93A91F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d453e167d37e1e20fa09e1290daa189c05b307","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e64f90683888d6741e28f9e61f29c4c1fb6404","datavalue":{"value":{"amount":"+0.8301628232002258","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":"Q4376072$1786FA46-2B63-4CE8-8673-AB9D3CDA9DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594fbf994da35238415d829b2f0d5c1052802aa","datavalue":{"value":{"entity-type":"item","numeric-id":4894725,"id":"Q4894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265ee3b9395ed88c7b5bed29318004584f2e1f25","datavalue":{"value":{"amount":"+0.8168755769729614","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":"Q4376072$486D6D85-4FF2-4EDC-AA86-73792BDB24C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376072"}}}}}