{"entities":{"Q3817577":{"pageid":5847483,"ns":120,"title":"Item:Q3817577","lastrevid":53839034,"modified":"2026-01-25T19:36:32Z","type":"item","id":"Q3817577","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090769"}},"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":"Q3817577$11DF429E-D825-4DBC-AF8F-196075CB5F95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30b7c6039b8292248dc365d93bc254f2dc33b565","datavalue":{"value":"0666.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817577$0636E6E5-AD97-4A20-A4DB-DA1A5C1FDC8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817577$5CD22B50-3A86-484F-B2EE-4B961362A076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3817577$53CD6D80-3666-408B-A583-E078B0E1A89C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817577$EAA0CEC4-6814-4F7D-A44D-CC18DC61353A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecd86d09421884f0d30477f1ddf1845211d1a62b","datavalue":{"value":"4090769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817577$510E6739-7891-41FC-9D64-F6BBD28BFD43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c820d69444f0adb0bdfcc2871121a02e4a444a6","datavalue":{"value":"theory of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817577$E9098F6A-9544-4B39-93F8-73059CCD7A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817577$9A0F4CB8-A0A6-4F2E-9D15-514F456BE48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7606adba97b79deff62f5f698385376d50fe16","datavalue":{"value":"equational axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817577$49AFC909-3E72-4466-8B83-86CBA1A9B142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb1c082e4563dc1176a6ebccc67a7cb4428ec7a5","datavalue":{"value":"2-sorted","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817577$EBAC734F-2C20-4C60-9A54-B4CCB98C335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d3650413ef81e939c9dd325e2f0da76d740640","datavalue":{"value":"algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817577$AE1A742F-E668-4493-8150-D7D45B175A7C","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":"Q3817577$65D0F689-34D6-4C41-9C14-1E4326E591D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da894c457a9507a121f2a987c9b9cc2108f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcbd87fcd80307871e119648d2a57be02183ec5","datavalue":{"value":{"amount":"+0.9336276054382324","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":"Q3817577$64DCA13C-DD13-4612-8207-D92F7AA52956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1feba14b74fe5f89599b22f1de042491c60b63d0","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1493a8b4ccabb37e016209fe8dcbc494f5944a","datavalue":{"value":{"amount":"+0.8474829196929932","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":"Q3817577$37D573EA-1445-4A5B-AC46-FE5ED0AE5973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b0038ca3ee98317548980447d6302caee10aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f766daf43ab5ed1de815576c5d9a8e7ac7a3200","datavalue":{"value":{"amount":"+0.8172409534454346","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":"Q3817577$D92DA344-FF3B-4CAD-8EAC-DBC61EF271EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163cf70ab024920f9b89106bcf4fe0ca5473f63","datavalue":{"value":{"entity-type":"item","numeric-id":3801055,"id":"Q3801055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee63b7a7a1aea69f688d03622a39616002d2fc1c","datavalue":{"value":{"amount":"+0.8102748394012451","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":"Q3817577$3B6F91BE-85BE-437E-B432-0A797E73AA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e962fbe660f3ba1736c0da387f5d62c88349d174","datavalue":{"value":{"entity-type":"item","numeric-id":5850783,"id":"Q5850783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1047697e284b92a7de1ce06d5958371014dd7850","datavalue":{"value":{"amount":"+0.8080105781555176","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":"Q3817577$37C3B267-ADE4-4C98-BC60-141BC0EDCC4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817577"}}}}}