{"entities":{"Q4037315":{"pageid":6067033,"ns":120,"title":"Item:Q4037315","lastrevid":55248946,"modified":"2026-02-05T07:38:29Z","type":"item","id":"Q4037315","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177440"}},"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":"Q4037315$E5BE0CC3-2004-4A02-B4C0-889712FAB310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"657a109fc441446dad9b1f981935bd4227bfa9c7","datavalue":{"value":"0765.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037315$A193A53F-BE79-41A6-8153-6CF20485258F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037315$42CA24B5-0E4C-4356-BC81-EB3806F68125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f3d17dde2255cf0d5e0bd87a89e512588d50f0","datavalue":{"value":{"entity-type":"item","numeric-id":790605,"id":"Q790605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037315$EFB44D9A-AE37-4D8A-A70B-E158B432C2A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037315$C98E68FF-664F-4C40-9B8E-9BAA26C9396E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037315$989063E6-9907-42BB-9BAE-6F9B0CE8104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037315$C679CD2D-3470-4670-8C03-01EA6844A240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abefb6b9e07eccd3ffbf2b25532d8ce895b820b8","datavalue":{"value":"177440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037315$38448B17-8A86-44D4-B8E6-E6ABEA4A8AB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$7FB8F6D3-F9AE-4493-B940-1B4EE0AFA7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ad7bf99d4c9ccfedcbee60121da2444f91550c","datavalue":{"value":"algebraic specification grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$F27D594A-0E16-4460-8AB7-954FFD2E2E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30316a157c2415bcb5c28bd379f45a07da2eb911","datavalue":{"value":"module specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$A7963BE5-EE98-46C6-815C-5D46D6A9490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c31e39eeef82222b7a9da8ed44e58eedc14ae062","datavalue":{"value":"match theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$B3399CD9-7BCA-4734-A692-FCC928A30D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10aada1bcebcea30af443e4c20bac92e26c0b2a7","datavalue":{"value":"graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$8FA242EB-75E3-4159-8E32-D68B36C2C9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$9A01755B-49BA-4FF9-96EB-6A82A0CD73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c881d4481001909fe816f0c4a9dd92474dcdcb7c","datavalue":{"value":"productions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$7007CF36-73C7-43B3-AE5F-E806FB82205E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$CB6A29AE-1849-4CDB-B8ED-C51FC17A0D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"296cd866b8e0bc6f31d7c0932a752b46b9e28b5b","datavalue":{"value":"modular system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037315$2FB44E10-9BD3-4A4D-BD1B-9C8D309A118F","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":"Q4037315$9C0BAACF-17B1-4377-B27B-B09E4558F0B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8848fc5b7b33a3f7a150807210c8773e1f76c668","datavalue":{"value":{"entity-type":"item","numeric-id":4205088,"id":"Q4205088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724735dfb7663b558ad7cee1d032860652354758","datavalue":{"value":{"amount":"+0.8429805636405945","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":"Q4037315$0E6FF7F7-B0A6-4A10-AD00-4BCF9F29D0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc20c924f529469319f45e6b72335d19dc0c2e0","datavalue":{"value":{"entity-type":"item","numeric-id":4037314,"id":"Q4037314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7a1164ca272f77f7cfd2134307d3fe6c3e74b3","datavalue":{"value":{"amount":"+0.8038944005966187","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":"Q4037315$864D9F23-9D1C-4CB8-B1FD-800446005E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7e455919bf7b410fba0cd3f3b6754f1ddfc44a","datavalue":{"value":{"entity-type":"item","numeric-id":3738549,"id":"Q3738549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7a1164ca272f77f7cfd2134307d3fe6c3e74b3","datavalue":{"value":{"amount":"+0.8038944005966187","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":"Q4037315$771BC763-34FE-4827-85C7-2E51430EA3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0600d7cec67342dc489859d936dc6b428c0864","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d16097539e5e2e4b1f4fe14d9d8285018964eb5","datavalue":{"value":{"amount":"+0.7932536005973816","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":"Q4037315$932B6A4B-FEC9-4FDB-BEAE-89B350CD6929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5b38df58383b6ffb7ba12657f0aebf18512794","datavalue":{"value":{"entity-type":"item","numeric-id":1176249,"id":"Q1176249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af7de9f78840ed5440b51c5e0a59a7760376fb6","datavalue":{"value":{"amount":"+0.7837395668029785","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":"Q4037315$89207532-CFFE-4BBE-80A4-09D15320E8F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037315"}}}}}