{"entities":{"Q3725541":{"pageid":5755447,"ns":120,"title":"Item:Q3725541","lastrevid":50761643,"modified":"2026-01-15T02:10:10Z","type":"item","id":"Q3725541","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956435"}},"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":"Q3725541$7C5D553F-E158-45CB-83A4-E3D832074F74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcf9f9e3cc337185215b0b9d4571b4b26e55f40c","datavalue":{"value":"0594.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725541$B2C6F886-DCEC-4BA8-ACBB-815907A9D80C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92e0e03478e58d040be69827ae9c62731f981e8","datavalue":{"value":{"entity-type":"item","numeric-id":235689,"id":"Q235689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725541$25FD6A0C-E80F-4376-BEF9-349182389959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50fba3a8d177825909422ea0efdaa59c4e69fd10","datavalue":{"value":{"entity-type":"item","numeric-id":582140,"id":"Q582140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725541$FC847BB0-5477-489B-A2FB-B8D270BD61DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3725541$33926632-E40E-4D3B-9DB6-178A8712D21A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725541$C7B575FC-8761-4BD9-82B5-CCB07538D253","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb8b6dab6d5eec0b426a66ccc35a9af41517975d","datavalue":{"value":"3956435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725541$6FCC414A-6337-4948-87C7-1E65CFB459CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f2224f9dba322db2b435098d36783c14fddf45","datavalue":{"value":"Knuth-Bendix completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725541$1C1DF605-E247-491A-B3FD-ED44F2E8B1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725541$F5931133-7EFE-47A7-A5A6-813312E6E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603c4d263f3842b0501fb4b1f9e7570b8ec0be2e","datavalue":{"value":"structural properties of rewrite rules which cause nontermination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725541$5F8ADE6B-E6CE-41E0-8C8A-5B60B065A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d97eba88c1890b9d45c4c89a68e49878ea1e389","datavalue":{"value":"crossed rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725541$A3DB05CA-1B31-42D1-AEAA-60C539A947A5","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":"Q3725541$4EE6661D-B215-474B-861E-DBBF1FECDB03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d380f332b72dd52be14db73bd7d6b0b06dd673","datavalue":{"value":{"entity-type":"item","numeric-id":3783520,"id":"Q3783520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8003ec80900291651069db567ec71f6b37bd21","datavalue":{"value":{"amount":"+0.8581188917160034","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":"Q3725541$E075FA74-F67D-4C5F-9B4D-6495DA9EA614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94413188e5ea83a8d6bf2c0591b3f51a7bd90c4e","datavalue":{"value":{"entity-type":"item","numeric-id":685379,"id":"Q685379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13b197411faffe965d03b3824c6dcd1d14c2df7","datavalue":{"value":{"amount":"+0.7975852489471436","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":"Q3725541$6EDBD933-D3B5-462F-A254-C8211E96F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1789754ecee27dc4d2ba7295d02ee02d35413c1","datavalue":{"value":{"entity-type":"item","numeric-id":2841250,"id":"Q2841250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af4db1b674130b98406cfbe7f274aa24a7d0178","datavalue":{"value":{"amount":"+0.7937946915626526","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":"Q3725541$234B560D-10C6-4E2E-ACEE-3FD42FC341F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f16630c9bba1606a32cf274184b6f970ea8c1","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72786121a82bf3923f1e3607a95e92c819bf2381","datavalue":{"value":{"amount":"+0.7916025519371033","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":"Q3725541$BB4F7BBD-D8D6-4A63-A1A4-4161E4C19F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b80ae72552fe355c6d62c8e6e6500eb145a21","datavalue":{"value":{"entity-type":"item","numeric-id":3806800,"id":"Q3806800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a2571c946a44e31fbbdea339908a873bdbf74b","datavalue":{"value":{"amount":"+0.7867886424064636","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":"Q3725541$278BCA38-6FE8-45E6-ADE2-86D315121CB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725541"}}}}}