{"entities":{"Q3819981":{"pageid":5849887,"ns":120,"title":"Item:Q3819981","lastrevid":53886764,"modified":"2026-01-25T21:29:48Z","type":"item","id":"Q3819981","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092746"}},"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":"Q3819981$8ED01A38-2931-4ECA-B689-CE1B9B48D2C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4939e183e9ececa1da3a41f8f20e067aa2de46f","datavalue":{"value":"0667.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819981$C5529F7D-93B1-41C7-87BC-F6EF66BA418D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f605b94222165af7b5a8d9e85e90266d03184e","datavalue":{"value":{"entity-type":"item","numeric-id":3819979,"id":"Q3819979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819981$432423D0-6A1C-4470-AB09-2B45C275330F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a919397ce582f526af53d7935ca9f30232cf9fe1","datavalue":{"value":{"entity-type":"item","numeric-id":3819980,"id":"Q3819980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819981$5CE52710-E449-4582-9C7D-C35FAB2A3817","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":"Q3819981$515D0E0C-224B-4044-ADAB-B1CC3D4C362C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819981$07AB1B30-676F-4F16-89FB-ECB035705B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819981$B7961CC4-040E-4EAE-96E2-4DBA522387D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9594f27b510d2430ae9ded15cce6233d31df5aeb","datavalue":{"value":"4092746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819981$1F2C9466-86B1-4C2B-B569-438C5DF626CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9c2931efeabb6be53fe1748bab25fbce055d99","datavalue":{"value":"algebraic specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819981$AD7BACA1-731B-4793-A8CB-24424BDD728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819981$351D2465-5A5E-4F4B-91E4-FD2C38F6AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819981$86AE3891-A447-4995-ACBC-806AB70C327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f75c475f47e64366621547454dd16d54565743","datavalue":{"value":"interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819981$78621634-BAF5-42CA-B56E-5936BF79F294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb4ba9d60c408b7748bf297f3e5679cd4a95aa4","datavalue":{"value":"optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819981$D17D5837-062A-40C5-B55A-D56F88123757","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":"Q3819981$6430C5CD-CBB9-4BB2-8728-BA87B6532385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b90fe18750a62bb1daa9f4e4487b4461f90ded","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3600f0a4e4e34a9e11cce4ea038ebcf4e35fec32","datavalue":{"value":{"amount":"+0.8974545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$00533B61-DE65-4C83-90E8-1016E5800351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42eaa0f1527fa658607e53691085ed0fe3921ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3028335,"id":"Q3028335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbb769c338fe213843c207b8b58e3718b4dedf1","datavalue":{"value":{"amount":"+0.8903189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$AAF63326-4E5C-4430-BF47-553E90CCD55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb384db5c678cd42e8b7b077c06a20d3bdba0e40","datavalue":{"value":{"entity-type":"item","numeric-id":5958126,"id":"Q5958126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bca3534ca8bc797e2bb8f6099e000cbcc88397","datavalue":{"value":{"amount":"+0.88718534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$8FB5C212-2E81-458F-8928-8601C1917EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb60b040c42eb72fcf3d07cb3d45a442c0c4c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3819984,"id":"Q3819984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa7f68338de11cd8fa35a8090448fec5a0b540a","datavalue":{"value":{"amount":"+0.88236594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$AB489070-34D3-4AB7-9830-07F7FCE65E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598a66c661a68dbd8a1af8fc5a3e9c21b4217523","datavalue":{"value":{"entity-type":"item","numeric-id":4364374,"id":"Q4364374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f254b441381cc1b339336f8e694cfe432b2a01","datavalue":{"value":{"amount":"+0.88228405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$6573C224-CE38-45A3-8D96-50D4FCFE5C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd589731c4b88b945fab1fa93b876f07483a710a","datavalue":{"value":{"entity-type":"item","numeric-id":2980968,"id":"Q2980968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0e241f7a132ad39a67d17ee62c9394130f7aa1","datavalue":{"value":{"amount":"+0.8812485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$7A69360B-A2A3-4C4A-A3BB-5513D3FA2D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f677df763df26fd462928cce9123ab3a10e4e6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2866802,"id":"Q2866802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7da1b4370083bed142d583fe059287ebe2bd65","datavalue":{"value":{"amount":"+0.8749852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$42A8649E-ECE4-4EEE-B427-4FCFA74E789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56e5fbaa4e64f148cff39fc816725be0d3511cf","datavalue":{"value":{"entity-type":"item","numeric-id":3819985,"id":"Q3819985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8ea1b38e318d12538fffa5c0833c7b068f1521","datavalue":{"value":{"amount":"+0.87479734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$A6B09E2F-7EE3-4B30-8C66-08B9A88B7493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc71baf93ee6f2d24641137465fc730854a86af","datavalue":{"value":{"entity-type":"item","numeric-id":4013772,"id":"Q4013772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1151da1c2740a6f2a0c7867c51ba5e5b7df492d0","datavalue":{"value":{"amount":"+0.8746269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$B1F708F6-262D-4455-8799-B2CC9A3314C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9872875a05c1294cd0eea92dc6b24fd03f9f355","datavalue":{"value":{"entity-type":"item","numeric-id":1929232,"id":"Q1929232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d6ed024f6bd6cf2d11c6e87599e3e8493388c9","datavalue":{"value":{"amount":"+0.8727389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3819981$C4DBBCF1-A76E-4C2C-9A05-2EFB5DFBD17E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3819981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3819981"}}}}}