{"entities":{"Q4541806":{"pageid":6571398,"ns":120,"title":"Item:Q4541806","lastrevid":47952118,"modified":"2026-01-03T04:17:12Z","type":"item","id":"Q4541806","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774211"}},"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":"Q4541806$65E92221-4B55-4D58-B50C-820DD37994C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd361ac2a0ddf4e3cbff9188044e7e51052478ec","datavalue":{"value":"1024.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$A001E35C-F0B9-48C8-8417-F3CABF0743E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b075a825863e8f2994344a3238448ae86f4ea047","datavalue":{"value":{"entity-type":"item","numeric-id":236470,"id":"Q236470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4541806$AEC44ACC-8034-4229-9052-0300142BC865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4541806$E9927716-884E-40C4-B841-2A2431EA8494","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$23A8F556-39C3-44FD-ACF7-EC1419CAA31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$E746DDA8-6ADA-4C14-AE9E-AB4ADFA5C120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$292C7E56-3D4F-48BD-AB8B-2CBE74E6CEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$80E382A5-FDBB-4F10-839D-B8D628122D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$9F194111-3231-47A4-B20A-27F76C60BFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$0C1493E6-E349-49B1-B0D6-FC7F58E2204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$50043FD5-725C-46E2-A174-F280AD9FB6C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c516269690c365f666f628d5b3f2a353a70caf98","datavalue":{"value":"1774211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4541806$CF08B49C-7A59-45DD-9AA7-EEB1CF0F47E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$F22F964E-C738-4D7A-87AF-05A7955FC622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$1BDC7723-D822-4F8E-AC7E-C185A394967B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$FBCDA2A9-E281-459B-A5D3-207D9197E1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$4369926C-7AD4-4E42-9F49-3A268B51A1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eeba749f6e20983202d62f164b68dc4818645ae","datavalue":{"value":"order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$521DF93F-9A97-4DE1-971B-C42BA79E4A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7daee3a2b5b86f768a34c2a11deb1beac48c20f2","datavalue":{"value":"derivation complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$5513B91A-CAAE-45CC-A4A5-72BAFA86CC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5443fc76ccb61558dd0f7cf2ad33812f63dc3ca3","datavalue":{"value":"termination proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$E6EDC0B7-2C85-4580-9D3C-5F179B4545BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826bb4fbc23550993d539e3a87d974739abf9dde","datavalue":{"value":"simplification orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$18F08941-3310-46AE-A38D-4E1B84F5EE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4541806$BEF764B3-CB33-466E-9729-517404646956","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":"Q4541806$E3844C84-908A-4E88-8159-71E04DF95EFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55e03f6a9d975c06c4bcf0952bb70c2231d6ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5958622,"id":"Q5958622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e66ecfa23d86c013eff06fcdf9652cd3fd530d","datavalue":{"value":{"amount":"+0.8231350183486938","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":"Q4541806$538FC063-0B37-440F-91E7-AB6EEE9B6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feacdbbec4ef468679bcc8a6386934f321d6a6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2987062,"id":"Q2987062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1551209d76e4f920dbee2593a35b1e76238c656","datavalue":{"value":{"amount":"+0.821047842502594","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":"Q4541806$3580833A-FC8B-4896-B246-0423DC772A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc9045f0890850d0c2814ba907e43648ed3e39d","datavalue":{"value":{"entity-type":"item","numeric-id":1879000,"id":"Q1879000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f316470ea356a102596069aa6c47f0fdd2b7e0bd","datavalue":{"value":{"amount":"+0.817981481552124","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":"Q4541806$D40DE35C-EE9D-4005-AF34-7AD49AC99924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97b35bc1cfdaeaffc42e30e8a1efc28df7b3d68","datavalue":{"value":{"entity-type":"item","numeric-id":1267850,"id":"Q1267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86a58b61efb2ae3f06d7e1cd54ad6ae98ac2176","datavalue":{"value":{"amount":"+0.8178948760032654","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":"Q4541806$BC6CC23E-C2BD-42F4-B79D-5D7AD2AC1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6385d4a95c988267a30b98baae30830dc6d1315d","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2359d3781ff8ee4f89f78d35403d1d41cb72eec","datavalue":{"value":{"amount":"+0.817875325679779","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":"Q4541806$DB8959C7-5210-4D90-9B42-4F7509EAD771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4541806","badges":[]}}}}}