{"entities":{"Q3753472":{"pageid":5783378,"ns":120,"title":"Item:Q3753472","lastrevid":51726584,"modified":"2026-01-19T17:20:49Z","type":"item","id":"Q3753472","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3990847"}},"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":"Q3753472$9D13687B-D4F3-4EA3-9726-466A6DE388F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"428a0d69ff11a0aede4f518120f57a12a6d6f2e6","datavalue":{"value":"0612.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753472$B56E0C00-E74A-482B-8C8F-F59E2E8CB367","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3753472$C8D81D6F-B0A4-43D4-80B2-7544B4FC6888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3753472$E6B91BDF-6C04-4454-A013-6CE001E9B3B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753472$AB9C92E6-7947-4A76-AFE0-EC1049C572CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753472$7B9A2586-9CF1-44CE-86DE-812516143120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75d5adb9dc82e8928febd5bce210b58c746ba6a4","datavalue":{"value":"3990847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753472$87DD56D0-8AA9-46A5-8E24-DE3A86FF6D41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753472$402F5ACF-47CD-47C2-B822-BC09E3DFC6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753472$940851FF-02A8-456D-8FB8-E6C24C50CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753472$B997FD90-BBF1-42B8-8FFF-8D4F9830DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06bca1b196626f0b321db5bfdacaa31b37b41632","datavalue":{"value":"Knuth-Bendix-like completion for specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753472$F4A07E40-6792-4956-9380-F27877BF4FED","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":"Q3753472$3FD401D4-DB3B-488B-9EB8-E84DA548CED5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe24b3c4922a695becdf7fab393449ec2991f43","datavalue":{"value":{"entity-type":"item","numeric-id":2291829,"id":"Q2291829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9493cea489c4312b22810c9ea77717de076ffe1","datavalue":{"value":{"amount":"+0.7854105234146118","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":"Q3753472$7AB6F8A0-09EF-40C3-B17C-655A8DEB8C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09d2675fa717991c381a9d4fdd79c2ee13f74d6","datavalue":{"value":{"entity-type":"item","numeric-id":6164540,"id":"Q6164540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1606556fae564f1bef944556673049c0a967b9e","datavalue":{"value":{"amount":"+0.7810391783714294","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":"Q3753472$8C02E712-D132-49EF-BBA2-7DAA830C5286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f16630c9bba1606a32cf274184b6f970ea8c1","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298aaf6b63294a5c8fb5733bd7ce99b03899ad9f","datavalue":{"value":{"amount":"+0.7804619669914246","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":"Q3753472$FF3D7F6E-CBAD-4317-AA36-92C308F6486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737056ce3c9cb282ca2c3d23b263d7d4791ef096","datavalue":{"value":{"amount":"+0.7791528701782227","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":"Q3753472$D4BCE272-A533-4EF7-B1BB-CCEA722081F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edbafef8ba611e0c51d41d900c2acd1cff7aa43","datavalue":{"value":{"entity-type":"item","numeric-id":3817656,"id":"Q3817656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d527234e6fc8f60fca287a302114f811c94bf672","datavalue":{"value":{"amount":"+0.7769274115562439","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":"Q3753472$17AE4B37-F8F5-49AC-8862-3AB9846A1FF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3753472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3753472"}}}}}