{"entities":{"Q4703041":{"pageid":6732618,"ns":120,"title":"Item:Q4703041","lastrevid":46871508,"modified":"2025-12-25T18:27:34Z","type":"item","id":"Q4703041","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1377612"}},"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":"Q4703041$B39EF9D9-B0D7-42BA-B1A1-C4C91349AC5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fa20fe738ca7a778bb1d35cae48bbab41839fc5","datavalue":{"value":"0944.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703041$E7F8BFA8-A9B6-4C41-9824-1B9F030733AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3fbe021fe8a37c72cf77df6028e0dcbf50af45","datavalue":{"value":{"entity-type":"item","numeric-id":601134,"id":"Q601134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4703041$F71A7523-C01A-4AE4-94D8-8294E1E8D804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3131908ff1ac1042649152f821cfef80bf5853","datavalue":{"value":{"time":"+1999-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4703041$96CCC945-624A-41D1-9A61-8011F768525B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703041$75ECE9BA-6A6A-4A5D-BFA3-71BCD7395ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703041$B91E06EC-68C6-4208-8B4F-B108A6297B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703041$2BA190E3-8B3F-4571-9CD2-FC8F619AC123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f241a53ee360bf2051a0ca3ca9323ff8f26e1c06","datavalue":{"value":"1377612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703041$8DD65AB8-35B8-4730-8F20-CFE14B6FBC0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d293617e40efe04124864eb327a61235be1bb37b","datavalue":{"value":"higher-order unification procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703041$E6BB9BF8-1D95-44BD-AC75-E088FBE53D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703041$653DC141-628C-4A97-8C6E-BC40768183AE","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":"Q4703041$7656FCEF-226B-4680-B0E6-2A183BC2D10A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32490f9dc8a05c35bab1419d24ea0cce5d074e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5145330,"id":"Q5145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0d8042f7621a8afa01170e58c071e5e5e99d23","datavalue":{"value":{"amount":"+0.7875418663024902","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":"Q4703041$2425C3D5-CAC4-4686-B245-AD4D31195770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd79cfe6980e2d660774ef5750c2c6c7f14d08e","datavalue":{"value":{"entity-type":"item","numeric-id":674756,"id":"Q674756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab4802dda133d579a9050d5862817c448e272b6","datavalue":{"value":{"amount":"+0.7686041593551636","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":"Q4703041$7F8ED157-2565-472E-92C0-75FEFF966ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a38a3e67be552b33bed2b022aa0242c52bfd1f9","datavalue":{"value":{"amount":"+0.7622823715209961","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":"Q4703041$312C2C70-F1A9-4330-91A4-00358C8B59E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18962467185c09f5096563bd445fa1c1ca9e172a","datavalue":{"value":{"amount":"+0.7597437500953674","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":"Q4703041$B0D03ABC-1176-410F-8C23-C1188597F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259deb61cfe2170701e47d67e7bd5ff2a5591b8","datavalue":{"value":{"entity-type":"item","numeric-id":5055760,"id":"Q5055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049829f0b7ed6a3d4fa906ffa876b9e3d467a2fc","datavalue":{"value":{"amount":"+0.7564572691917419","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":"Q4703041$3E0101E0-A017-4C2F-BC6C-4A28BCE42046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4703041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4703041"}}}}}