{"entities":{"Q2767193":{"pageid":2777932,"ns":120,"title":"Item:Q2767193","lastrevid":47732506,"modified":"2026-01-02T13:40:11Z","type":"item","id":"Q2767193","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1696905"}},"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":"Q2767193$FACF2AFF-78C1-4ED1-8FA6-93BE151181F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bc88a88d5ce5877773b7ebcb63e4871cb8a5645","datavalue":{"value":"0983.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767193$C73DCBC4-BEF3-4BD3-B729-33E0E20B6C2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf394abcb013c8cebadf2f96441c0bb220e7f44","datavalue":{"value":{"entity-type":"item","numeric-id":2767192,"id":"Q2767192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767193$0D2DCC89-22C4-45F1-B0DD-B34F5282115E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767193$AA26111A-D1E8-4608-A427-224EAEE34612","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"add45323944bf63dbd1dd63bd05c680569804e5c","datavalue":{"value":{"time":"+2002-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":"Q2767193$A8A93C11-3384-49BB-896B-CB2E2A30E87A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767193$C41E4D5F-B666-4289-BAE4-817E682B14D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767193$EA55FD43-E804-44C0-B30C-3FCA19051DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"888b0ea68ab27f4acc8fdbfc7cc8c80f2fc0be30","datavalue":{"value":"1696905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767193$61E30B27-718A-40D7-9FD2-56BCB8B1EEF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f0ab93e65abe11f579939d489c74ddeea0bcdfd","datavalue":{"value":"formal structured specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$1226B385-0CE2-436E-963C-69BF7692217D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71d4a58ad0d62f693adb3fe13a9942804229593","datavalue":{"value":"reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$7C831444-95CD-4EE7-9C50-8B1217ACE87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$96E45582-8A72-4F12-B54B-986C3565C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af17c3e31a683d8324d52c962033353cf3b3149","datavalue":{"value":"structured inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$43FE23FA-625D-4325-BE85-6168F1608C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b3de026255ded5d38c502bbd9d152d4eb45928","datavalue":{"value":"typed equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$FD4F33D3-5000-4A03-AD6E-D77FDD6C1DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$F16263DE-A74A-4AA8-ABE6-12F21D587F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3802d926a9aa2e3f20d20f05696d39ccc412a456","datavalue":{"value":"language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767193$2D562F07-3E9C-4BC3-A86C-70805F277BE5","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":"Q2767193$7009DB73-EEFB-46E0-9932-2D3955A4DC62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494abe11ca1837f31922ca13f53fcc92ca7e8865","datavalue":{"value":{"entity-type":"item","numeric-id":4941929,"id":"Q4941929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a42d5f03ca3d767b0c5edc1696826304814bb4c","datavalue":{"value":{"amount":"+0.7771462798118591","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":"Q2767193$A02F343B-2589-4EC1-B6E3-E47D44DD92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f74c66447e71f38267b8dbcff9d38adaf2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4870817,"id":"Q4870817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136266496f9fdf5acfb5c3fb53aee6d4664fe836","datavalue":{"value":{"amount":"+0.7286402583122253","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":"Q2767193$A640168E-5C4C-4DE3-8AC9-BF855ADB8F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a44a170d536578ce25696054ccd30cacba00a2","datavalue":{"value":{"entity-type":"item","numeric-id":4436955,"id":"Q4436955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecea8987c64fa95d85ea0702aa47cd4f0338731a","datavalue":{"value":{"amount":"+0.7210947871208191","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":"Q2767193$E5FF992B-6BF6-477B-99BA-C39826A26176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6980e75db5a6feb568812942587f3ceeab3b4da4","datavalue":{"value":{"entity-type":"item","numeric-id":2571203,"id":"Q2571203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e7a574b594fed11a6b8e8cad512fe5a9e139bf","datavalue":{"value":{"amount":"+0.7004660964012146","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":"Q2767193$E31668B5-1386-45DE-A663-4B1E24F1475D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ed96ba959728eb1c24d194bb198df3c4a744f9","datavalue":{"value":{"entity-type":"item","numeric-id":5311302,"id":"Q5311302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99dbaa5e929c2095b2c4586d4a136df1b3c45c7","datavalue":{"value":{"amount":"+0.6996788382530212","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":"Q2767193$F06496EE-06C8-473A-B7D7-4597B3426F4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2767193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2767193"}}}}}