{"entities":{"Q3700828":{"pageid":5730734,"ns":120,"title":"Item:Q3700828","lastrevid":50372747,"modified":"2026-01-13T22:15:41Z","type":"item","id":"Q3700828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926235"}},"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":"Q3700828$4569E9D0-C98F-470D-A632-9498CA6F61EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aa959e9581b5e5675dc25c22ac2277513558a92","datavalue":{"value":"0578.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700828$7D5773E4-7FF6-471A-ACDF-EABE92E11880","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a93c57283e0ed2f2843fc1528f403f7d02271f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1093358,"id":"Q1093358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$DB0D25BC-CFB2-4FD1-8777-587FA76E5F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3700828$9F58D32D-2D03-402E-B803-AF1E19B8909B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54135950f7c7b431df62386962b8181d13303bbf","datavalue":{"value":"https://eudml.org/doc/92240","type":"string"},"datatype":"url"},"type":"statement","id":"Q3700828$ABFDE473-5509-41EF-B740-2EFB619D1846","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700828$B1CAFFE4-740C-49CA-933B-442E7D62140D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6204a76205f620e97cab0f9c61d3cd64bfd813","datavalue":{"value":"3926235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700828$01C4887D-1C76-412B-8C9B-84D8329AFC8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899eb87c02acbc77bfde2f0a6507d9036707a49a","datavalue":{"value":"automatic inference method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$5EF9BA3F-EDF9-4E54-B8BF-3C17C47ECAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f6631a37e0f18ad376e4d9c55c5e4326239e09","datavalue":{"value":"minimal partial ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$962B5DE2-4248-486E-AED0-BE8CA726368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$93F8AD95-3304-455C-BA0A-E16325A2572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b2c803d7710004652c4ebfbbba71e2eaeb9272","datavalue":{"value":"term-rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$85067F44-3E11-4A6F-B532-84D71ADE58DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac0ae93b70af3d99246c4cf79ae4a7f369e696","datavalue":{"value":"Prolog program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$20B1E20F-91FA-4210-B7FB-A44E8D187CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49e34a5712ec9213a2e5e98d134511ba77d3f207","datavalue":{"value":"complete automation of the Knuth- Bendix method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$E92E5E8B-EE20-4748-A3A1-237C36D9C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"333cdae28dc30ac41481752fa214849851d55339","datavalue":{"value":"termination-proving program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700828$05951DCF-1DCD-45DC-8774-65D5C0AB6783","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$39AB2E3B-0449-4E0A-88FF-87B837ABFCB6","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":"Q3700828$4A5AEDDB-6186-479A-85A7-54B3FB9100CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$66519FE9-A5DE-4206-80E2-D670EFA2805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$20A3A11A-4A20-4506-9083-5D89D6AFB9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$7B590376-A635-49D8-A092-EF7D15282393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972bc1fa971fc360b4e9b78570fbe5c71387879c","datavalue":{"value":{"entity-type":"item","numeric-id":3939197,"id":"Q3939197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$BBCC4E12-058C-400A-A969-837BD1758A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$7B4DA2F6-E316-439D-8714-5320708D9A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e6b612eb3cb0e65ff83e8cd8762940dc520785","datavalue":{"value":{"entity-type":"item","numeric-id":3659124,"id":"Q3659124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$6F0C5DD3-144B-4DDB-9006-8B6C4ECF96D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eca81f9fdd20e2c49645c4efb07abd9a2d842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1165004,"id":"Q1165004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$CB4D6EAF-7B5F-4F6C-931E-EA2A29DD268C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce0636b1dec6b52a207213a8ba39915262f7b40","datavalue":{"value":{"entity-type":"item","numeric-id":3667939,"id":"Q3667939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$F6562CDB-2F39-4E55-A480-6C97748C73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$5C1D1E55-2CF6-434B-8EA8-409E45A03943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$3F94F0C0-0EAB-4EC7-8E2D-BAB4D5996453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$98FFE1BE-9276-4B22-A172-032F8D78278D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700828$774B5787-F12E-4B83-9098-71CFF7469B43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d28257d4fb53b2ac2831d960801f3d2169bd439","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3031810599e7f3b761830306d45d4602b77288","datavalue":{"value":{"amount":"+0.8358109593391418","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":"Q3700828$54A84FE3-D413-4F93-953C-34A970BF10FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cd1a497e9d5bd1ff971781bbed7782a9278c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d735c3b39780c13d990c789580994b408516ab4","datavalue":{"value":{"amount":"+0.8018164038658142","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":"Q3700828$41BA5B71-3821-497E-A030-41C533BF6A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396528b0195df839f37c3ec25136a4dd8627dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":685537,"id":"Q685537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da25abba42a4e88b9cb81f94e60b3f7b0533ed00","datavalue":{"value":{"amount":"+0.7995630502700806","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":"Q3700828$D8A7D4EA-06EE-4A54-8AD9-5465AE717BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dfd60752e5a526f819ef0a629d7320e9888273","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f0206ae7fd5ca4c14ff2e476feb563cd7ebaff","datavalue":{"value":{"amount":"+0.7954332828521729","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":"Q3700828$C5B91C56-50F5-44B4-8901-2579D97DAD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b49872a3cdc6dabaed07c017a65e640af25869d","datavalue":{"value":{"entity-type":"item","numeric-id":5055814,"id":"Q5055814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc420936c673c92d5fca941bee4860236df9252","datavalue":{"value":{"amount":"+0.7824230194091797","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":"Q3700828$3E1A2477-A187-4181-8F43-25738ADFE52E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3700828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3700828"}}}}}