{"entities":{"Q3819982":{"pageid":5849888,"ns":120,"title":"Item:Q3819982","lastrevid":53886767,"modified":"2026-01-25T21:30:00Z","type":"item","id":"Q3819982","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092747"}},"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":"Q3819982$D7C201E4-6E0C-4D65-822C-CBA455C055A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1345d5f8a4e46e1ebeca62e8f02136b93fa3be1","datavalue":{"value":"0667.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819982$B5101AA8-4A30-4319-8848-9D21B4928C01","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":"Q3819982$D5C2ED71-2D69-4D2E-9DE5-87D818B62668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819982$3FB79FB2-F26B-45CA-B9D9-CC7FE4091C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819982$0EC555C8-D91D-4FF9-84E5-BE2AFB69E49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819982$CBA8126D-777F-4AAF-B6FD-5768EB524821","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61848bea4b993af02e58dfe942dab77c5f136ada","datavalue":{"value":"4092747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819982$22660208-21CA-447D-AB2C-B553556EEE52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819982$AAEA4B77-AC15-4779-AAF7-534DC1E793AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819982$06A87D9B-383C-4A21-91C4-2DFE39BF63A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819982$EAB7DA05-8110-4F78-B557-ED8875FD9730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819982$F40229CB-DD56-4E8C-91B6-26468B06C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819982$456A236E-F08E-4813-82C2-C0FDA7A7E986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7051a28ad36e5100a07c69eff07a493c97a69","datavalue":{"value":"LISP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819982$B11B7F8C-0E61-4577-9584-8405EBBAF196","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":"Q3819982$E6A25983-B7A7-4CD4-9841-E2F7100BBB77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca90b81358907cf3049094a52f193b220d68eb4","datavalue":{"value":{"entity-type":"item","numeric-id":3742703,"id":"Q3742703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6655b43ef8b0d186e88ca2aa66a241a0cfae43e9","datavalue":{"value":{"amount":"+0.7746134400367737","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":"Q3819982$5B3AB4F4-A740-44EE-94A5-56D70B97AE62","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":"5aa9ff5f1d2dc98f13d2bc7141783ececbccddf9","datavalue":{"value":{"amount":"+0.7633180618286133","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":"Q3819982$E5B5B0EC-5E9F-45FB-BC19-A62399BC7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fe71795789760e3a6d50ce7cc67d1ef2fd73ea","datavalue":{"value":{"entity-type":"item","numeric-id":3796727,"id":"Q3796727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c9a99aec649fdf98bccc4e48426757ae148287","datavalue":{"value":{"amount":"+0.7631657123565674","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":"Q3819982$438FE7B2-2F23-4675-B097-48F107469901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4abb0f35c32cf2460c2c8db7cd10c3521db90f","datavalue":{"value":{"entity-type":"item","numeric-id":3780427,"id":"Q3780427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61bf1a6be197796f13e06585ac6df842ff53319","datavalue":{"value":{"amount":"+0.7598286867141724","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":"Q3819982$2646DE9E-29F4-4A87-A07E-79DD9A64EDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2952195ef2481b9f3bd28fb632f4cd35207f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4681457,"id":"Q4681457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897b2bacf4e5eb0ce7e9077025153423147f617c","datavalue":{"value":{"amount":"+0.7592988610267639","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":"Q3819982$40F5D2D6-F6DF-46E6-A1BA-5AC806B2BFC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3819982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3819982"}}}}}