{"entities":{"Q3490967":{"pageid":5520867,"ns":120,"title":"Item:Q3490967","lastrevid":49416487,"modified":"2026-01-07T03:11:32Z","type":"item","id":"Q3490967","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164155"}},"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":"Q3490967$FFC40770-A957-466A-85FB-A2B9DA58B6EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"189f6114f6928250befceec5451953b0b9b6e397","datavalue":{"value":"0708.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490967$82B6A48D-02A8-413E-AB42-4F7D760CE3C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3490967$C44EC457-CB24-46A6-96E5-AF337514F25D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490967$41A70A69-EB48-41C7-BA7A-7F8C3AF428FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490967$790BDC98-4560-46F5-87B5-4D6F41C2B56A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f8d90206dd183a92a70167e8383a1986ba6dbba","datavalue":{"value":"4164155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490967$1565E11A-3FF0-421A-8278-62A1042192E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490967$B17F8F16-7F93-4FB2-8176-BD2F0AED126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebfba2e901f28e2c751e3d516b67b747b906d75","datavalue":{"value":"non-confluent term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490967$72F3395A-A109-4964-8893-3BB9BDE1A93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490967$48082710-6D74-48F7-9EF6-4A3E191D078B","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":"Q3490967$8BDBC30F-0DB6-405D-8579-9B56F291B0AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474802c0cdfa5c61588f518913c1cb25d4b4ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54266a14e0abea790e385879cb4815e352050a0f","datavalue":{"value":{"amount":"+0.9620636105537416","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":"Q3490967$B5E81697-FAED-459B-9B75-BE5464067E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be690a55dc35a7ec2d73d6300faaaaf79c24515","datavalue":{"value":{"amount":"+0.8606109619140625","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":"Q3490967$128B1AB2-18CE-4BF2-B7A7-C34F6BADE999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0708fd134b7a5793cc1699877aba12ba7e6e5e","datavalue":{"value":{"entity-type":"item","numeric-id":3819995,"id":"Q3819995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be690a55dc35a7ec2d73d6300faaaaf79c24515","datavalue":{"value":{"amount":"+0.8606109619140625","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":"Q3490967$F08B5FCB-094B-4A09-8B55-71D0D1E097B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e2cf39fb1523d23e6d7c52612b266180428c63","datavalue":{"value":{"entity-type":"item","numeric-id":3742702,"id":"Q3742702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58f2c341feb03f9603d304893c75d925e2ad95e","datavalue":{"value":{"amount":"+0.8533673286437988","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":"Q3490967$BA56C768-C681-47EC-B566-DA1CF07DAA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8363d501227ae2ac37b7672f879c12788930a7","datavalue":{"value":{"entity-type":"item","numeric-id":4877238,"id":"Q4877238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81812199d09d779236e138d3828cbb79e20be69b","datavalue":{"value":{"amount":"+0.8170122504234314","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":"Q3490967$ABB17D5F-2BE1-4D77-8DDE-06E4A613565C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3490967"}}}}}