{"entities":{"Q4594225":{"pageid":6623810,"ns":120,"title":"Item:Q4594225","lastrevid":52959089,"modified":"2026-01-23T22:05:15Z","type":"item","id":"Q4594225","labels":{"en":{"language":"en","value":"Proving innermost normalisation automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808101"}},"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":"Q4594225$53D497F2-8B49-4FFF-988E-47A113B1647C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf5b7d0a365358323b6526b488cc64347fdd66ad","datavalue":{"value":{"text":"Proving innermost normalisation automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594225$8B76B216-6A03-40DF-A45F-9AD07540E919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcbdec3a4ee244de7c42441b2eb9c8920280dfb5","datavalue":{"value":"1379.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594225$1040CCF6-B573-41A1-B136-3D81CC3F49F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82ff4dac4dbfdd433af634f9f89f1bd98944af3b","datavalue":{"value":"10.1007/3-540-62950-5_68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594225$97A02B9F-4A0D-4C82-A0E5-F0DA4C53E67E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51f94ba22225b6d50496a9f2a9bb0a0e2b3b9a1a","datavalue":{"value":{"entity-type":"item","numeric-id":199243,"id":"Q199243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594225$7F0C5271-64DC-467E-96EE-44463D1EBB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594225$1B222A1C-67D2-45C9-95AC-6B5AF4B1C4F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594225$F8332DFC-1F03-4A55-A7F0-953C774DE6F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594225$9D63DAEA-8B76-4FE3-A575-33F8F6DD0869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a2640bee594fa4e69791c8f944de600e41c76df","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/18360","type":"string"},"datatype":"url"},"type":"statement","id":"Q4594225$203CAE8A-56A0-4B4A-AE92-7322F18FAD2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594225$5FD3157B-A59C-4B5F-9910-DC3BCBA23EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b8745600f2f3d50ca1565558781221afcc6ee3","datavalue":{"value":"6808101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594225$11229B96-D90C-4641-A703-FA32485B4D1D","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":"Q4594225$D67C9EFB-81DA-42B9-8197-6CB1B699B99D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2fe7e0cfd051bd702449e8e493dd5f1d710033b","datavalue":{"value":"W1480168175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594225$12243815-BEE8-4072-B481-6BBA1843D8F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac386601a58e05a0628778fc206896087cf412b9","datavalue":{"value":{"amount":"+0.8042640686035156","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":"Q4594225$5723F5DC-0A8D-44B6-9387-7083D8926A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559f441ff0eee48694f4ac49e0aacc680d9ffe5d","datavalue":{"value":{"entity-type":"item","numeric-id":5055854,"id":"Q5055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3abd8d18d1f1d16064731c0dc12ee124228125","datavalue":{"value":{"amount":"+0.7844268083572388","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":"Q4594225$EE6F6B73-0897-41F0-B8B5-53255454464E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828cdfec77e0054e6c3ec1c95bc80220f7c24add","datavalue":{"value":{"entity-type":"item","numeric-id":1575274,"id":"Q1575274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c3c2e6922e91026e8c2f11ec6f6b8e0f08f93a","datavalue":{"value":{"amount":"+0.7694123387336731","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":"Q4594225$D0EDA4CB-4DB2-4FE7-96FF-7F455E99C1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e119c2c51f74d1f49080f075602c8b2ee36e24","datavalue":{"value":{"entity-type":"item","numeric-id":964737,"id":"Q964737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eead7044c042bedc353b117a28c501fe922d9fc0","datavalue":{"value":{"amount":"+0.762482762336731","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":"Q4594225$20788EDD-98CA-43D4-9B59-E583B8CF4CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9b572038c4da4bc0eb0447c1ae105fee8e62fa","datavalue":{"value":{"entity-type":"item","numeric-id":3522030,"id":"Q3522030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc5b4542ea45d55a49c1c2df2f3581d8190002e","datavalue":{"value":{"amount":"+0.7613446712493896","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":"Q4594225$5BF0CF1B-2770-4458-A36D-9EC9BA6B6ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594225"}}}}}