{"entities":{"Q3783520":{"pageid":5813426,"ns":120,"title":"Item:Q3783520","lastrevid":52537088,"modified":"2026-01-22T22:01:43Z","type":"item","id":"Q3783520","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047064"}},"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":"Q3783520$35458648-F7A5-497C-8B1A-D979E8AFCA03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3a21cb842067c6c5084a41a1320f56c6cef6b7f","datavalue":{"value":"0642.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783520$B51AB250-B88B-461B-BBA6-41E3CB36CD38","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":"Q3783520$26F4BE5B-CCF3-4BB2-9042-EA350B8A0819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783520$552E968B-8505-49B3-BACE-7C1B32C1AD78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"014feb58cfcf6a29125c8377262007637d919581","datavalue":{"value":"4047064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783520$DE0BF28F-CA51-4455-84AB-0DACE314DC80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe3de104a86a4c762405ba43109553cd42a07ddf","datavalue":{"value":"test for nontermination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783520$3AC8F12B-7C2C-44F2-A4FF-C7C736C19B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f2224f9dba322db2b435098d36783c14fddf45","datavalue":{"value":"Knuth-Bendix completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783520$7DBB6DBC-AB09-4700-B204-A15AE466DB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783520$907FA555-1431-4105-8E2D-18E345FCF01F","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":"Q3783520$809E5A52-DBEB-4B02-8C2F-E66EB3C747F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc64dada5b9c56808dced690d1dbabcd3cabeafa","datavalue":{"value":{"entity-type":"item","numeric-id":3725541,"id":"Q3725541"},"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":"Q3783520$5492CE46-0F49-4D3D-9E66-58825C6EE6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9581d1067fc8acad2f29e3b65f264db275253534","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52838791618825a37118c6936c2cbcdf6ec932bd","datavalue":{"value":{"amount":"+0.8246876001358032","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":"Q3783520$D71614E1-17D8-4F0B-B8D9-280542108C68","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":"f073ba14c3540ad61d8629e2bf16e55091f6a3a8","datavalue":{"value":{"amount":"+0.8228358030319214","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":"Q3783520$5A922088-383E-4098-A772-B30162E47DA5","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":"d12bdb87827facafca2d233479b6580ae24058f9","datavalue":{"value":{"amount":"+0.8170016407966614","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":"Q3783520$117645BB-76D9-46E6-908F-176987064745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f347b68470cf5fad9a8712e244de42e18d5f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3702509,"id":"Q3702509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5d60964f27676328dd8060ad1a1eeeae345214","datavalue":{"value":{"amount":"+0.8072680234909058","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":"Q3783520$566F1022-1EC4-4A5A-A441-971F755B8C27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783520","badges":[]}}}}}