{"entities":{"Q3821636":{"pageid":5851542,"ns":120,"title":"Item:Q3821636","lastrevid":53963627,"modified":"2026-01-26T00:14:49Z","type":"item","id":"Q3821636","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094872"}},"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":"Q3821636$3F230130-28B6-4DCC-B37D-5D474531E7F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"095b650aadebf7fb58b5eb5e8e144f22c6672e74","datavalue":{"value":"0668.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821636$D825E671-EDD2-4CE9-B222-530BA5F88871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e32bc31532f786a3c06d762e2224a84c315ddf6","datavalue":{"value":{"entity-type":"item","numeric-id":3821635,"id":"Q3821635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821636$93739AEB-E74F-4329-A24B-836986BFBC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"412a3832de436a82630a861fa37ec9620ae29c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1350212,"id":"Q1350212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821636$1A024566-4FCF-45BC-9590-4E826466C14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985e5bdfa3add8a693afe3c3fc51cc7319ea8110","datavalue":{"value":{"entity-type":"item","numeric-id":799108,"id":"Q799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821636$53E33C3D-EF5A-4FA0-BBB5-FC9D4DA17A32","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":"Q3821636$05538BDC-F6EF-4247-8C38-302AE2AC1A74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821636$C8AF1F1C-69D7-4E31-9A94-D6276AEED9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821636$9A3C6309-1105-43A8-ACA8-8F0FACC42556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821636$D2F7C25E-8EDE-4C1B-A992-0C8CC2D3661A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d3309739607d7a548e226895ea41687af957151","datavalue":{"value":"4094872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821636$CD7EAEF7-9EF8-4ED8-AF9C-797BA3B85E43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2f0080dbe295c27f6f3b0ad4968378613c8729","datavalue":{"value":"equational theory termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821636$E6C01FF1-531A-4648-8234-DDACFBA1AEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c10a68974e58264d60b0c7e3fcf8c67b9549a7","datavalue":{"value":"equational logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821636$B70A5002-C975-4438-B9ED-80F505BA608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821636$A92EBBF9-DF57-4A61-B266-59398322ADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fed4404810d7ba500d9193012722add7641586","datavalue":{"value":"confluent program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821636$174FFB88-C2F9-43E9-A461-388CCE7242F0","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":"Q3821636$552009DC-BE35-4E78-9A84-482E0C644B27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdbc297c6d9046c90b4d95df81352b3f99e5274","datavalue":{"value":{"amount":"+0.8866992","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":"Q3821636$1642E099-05F3-4C39-85AC-DA93C05F6645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbeef8669d2cbd89ab3a988f9d76fd886688334","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c9b6e747a723f2e1d36b931f1b65ab75ff8e4e","datavalue":{"value":{"amount":"+0.8743503","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":"Q3821636$7B2A1467-C431-424F-91FF-122D3D1098E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e120e715734180afc3ab140168d58ad33395fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591da16a899fd8cd6e43bf84de021036d66ae59e","datavalue":{"value":{"amount":"+0.87193376","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":"Q3821636$5DE18A3B-FEA6-4083-8960-FDB2063B9DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb052b74a5e537a7695e04e6200ec00c8de16e","datavalue":{"value":{"entity-type":"item","numeric-id":4858579,"id":"Q4858579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8eee2e35fc3e06541e7fd732e7563584ed78899","datavalue":{"value":{"amount":"+0.85550475","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":"Q3821636$690188DE-2BED-4A02-AA58-6B4C0B9D3E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7092eabb4f983f8509161f37e6c9f77a035128f","datavalue":{"value":{"entity-type":"item","numeric-id":2719647,"id":"Q2719647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2223ecc0ec558de87d786e6b86745632ee4c5a8","datavalue":{"value":{"amount":"+0.85482943","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":"Q3821636$FD2A0598-212A-4257-921E-EB88DA9D1DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2af4ec774ddf93fa5655789596a53dfe9cd9e","datavalue":{"value":{"entity-type":"item","numeric-id":3727354,"id":"Q3727354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4271a448cf7609ea55e5ec0428ee1cba05eaa083","datavalue":{"value":{"amount":"+0.85339546","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":"Q3821636$18A1A594-70D3-4C5A-8D04-B7D1E24E296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590a3aba254f67160cd7f0cfc21c422fd1874ede","datavalue":{"value":{"entity-type":"item","numeric-id":3012523,"id":"Q3012523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f367093f74e809023909af87e967651b2ed27cc","datavalue":{"value":{"amount":"+0.8517231","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":"Q3821636$FBC68554-E2E8-4D57-B415-F8B3D6D3BF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f941683bb65bfcc76bc7ef2a62e5c9d647cd037e","datavalue":{"value":{"entity-type":"item","numeric-id":1314424,"id":"Q1314424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12dc0e44a14e6bba815fb0e5087e016d07815ce","datavalue":{"value":{"amount":"+0.8490472","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":"Q3821636$1C89152B-7BEE-4564-91D4-72404C461FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c883a2ea20f0ffd5dbc52fa1a45809371bab181b","datavalue":{"value":{"entity-type":"item","numeric-id":5688911,"id":"Q5688911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12dc0e44a14e6bba815fb0e5087e016d07815ce","datavalue":{"value":{"amount":"+0.8490472","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":"Q3821636$AA186E07-5096-4485-93C1-AECF24B5363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3a7608693760ca9fda7b2dfc47f408e02a49c5","datavalue":{"value":{"entity-type":"item","numeric-id":689097,"id":"Q689097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd19a255a4923531ae2890a806bf8c0db968c0e","datavalue":{"value":{"amount":"+0.84854585","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":"Q3821636$6E84A9D8-ED3E-4D2B-BE69-1729B8B1B70A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3821636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3821636"}}}}}