{"entities":{"Q3687693":{"pageid":5717599,"ns":120,"title":"Item:Q3687693","lastrevid":50220374,"modified":"2026-01-13T13:43:13Z","type":"item","id":"Q3687693","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3911688"}},"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":"Q3687693$9BBE30F3-0751-4331-B36E-51D0249EB717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7573725d40d4c44a03b345bb5c707f631be74603","datavalue":{"value":"0571.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687693$CC74BD13-259C-4E08-9A68-C0347142E370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3687693$BA2E5576-13F4-4738-B6B1-78F4FC79F1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da69afe2eb2727aeaa0fc395e387736bed2482e8","datavalue":{"value":{"entity-type":"item","numeric-id":1094887,"id":"Q1094887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3687693$39BC8F1B-653D-4228-949C-FE4FE715EB36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3687693$D4F4649F-134A-4C74-9779-FAE8247DB191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687693$ECEC7F68-9BB0-408B-A78C-A7A278B18AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687693$C363F6B2-8181-466A-A63C-06C6C469ECC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca119c8305cb77c9697d0e48c193fb46f5527ce4","datavalue":{"value":"3911688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687693$BD72B4A7-E295-44E3-B5A5-96D439E49B02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447304a9033fe6d65a39ddf7612744d429dbcb66","datavalue":{"value":"rewrite rule theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$AC6625CF-054E-4BE5-9CDA-F1BDDF71E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$ABB4382E-752F-4704-AEF7-43FC79E50D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$2D2F7DA2-A6F1-40B0-84F2-307CA8108860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca7b5dde6b054f6571958b01c7c9769eaaae1df2","datavalue":{"value":"structure types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$D6C28A15-A3F0-41DD-9BE8-5F65EB68B024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29305963469a565eb92060782443e37174cc9778","datavalue":{"value":"abstract algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$D313379A-D8B1-44D7-B126-E93E03E90211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d9e56567896a9a7609555ea3be4be360dce63","datavalue":{"value":"types in programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$4D025082-4B61-40ED-A4AB-1E48FFF1BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0903a9a4696a352cd4c695729d85fd8c7b8bd925","datavalue":{"value":"formal proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$0BF6DA09-2474-4E1A-A4C0-8562BF888837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6faad0a710bb2de6151aee86a2da771db3e1e3e","datavalue":{"value":"type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687693$C84B57CF-79EC-4BC4-A24B-F0ACDCDFBBF9","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":"Q3687693$E1502D69-5023-4052-9EB2-B096CD1DEE68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93c336610a51b6f7f5a6455734854ca29c19ec9","datavalue":{"value":{"amount":"+0.7993133068084717","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":"Q3687693$75F86991-59C3-4210-9BD9-B3BC285240EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc921d4fb999cfb5f93ea94c6f4ffcbe9cbf647","datavalue":{"value":{"entity-type":"item","numeric-id":3685174,"id":"Q3685174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a566d436f3e0de281698a1c4926dd453fca05c0","datavalue":{"value":{"amount":"+0.788642168045044","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":"Q3687693$CD4FACDE-24F3-4A60-8CD8-B1A412B0A9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0629abc93a55b58aa569134018ad6319a4c11715","datavalue":{"value":{"entity-type":"item","numeric-id":4207566,"id":"Q4207566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8344072ba876f98d69bda2fc6a6fcad64c1e00","datavalue":{"value":{"amount":"+0.7870244383811951","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":"Q3687693$B5551EBD-7D49-4B6D-9BAF-6376B10DF11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d222f25c9032becd172c75b8ccd69102a313883b","datavalue":{"value":{"entity-type":"item","numeric-id":3678652,"id":"Q3678652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68315f31c246c1607ddfe02c536664bc1b57fa74","datavalue":{"value":{"amount":"+0.7829866409301758","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":"Q3687693$29DF61E8-D524-4EF0-8A65-94E0F0C9310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6a41004a854d137d0565ca872ce8c42f754d48","datavalue":{"value":{"entity-type":"item","numeric-id":3819973,"id":"Q3819973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec43d2c7f2b9d154ac8d449ec82aa5331362a149","datavalue":{"value":{"amount":"+0.7651983499526978","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":"Q3687693$4696CDF1-F5D3-44B9-B0DB-F279C64F76BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3687693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3687693"}}}}}