{"entities":{"Q4897705":{"pageid":6927284,"ns":120,"title":"Item:Q4897705","lastrevid":58351224,"modified":"2026-04-04T20:26:24Z","type":"item","id":"Q4897705","labels":{"en":{"language":"en","value":"A simple correctness proof for magic transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6118266"}},"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":"Q4897705$670065D5-9B43-4B55-BD06-BB8F2378FCA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2280b1cc305c74b7a9ad0e4acb123c05f7622cce","datavalue":{"value":{"text":"A simple correctness proof for magic transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4897705$8D8FD1A8-25C1-40A1-AEA4-4668C3974608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b3d7849b5b40172e62e0e806228e2a685331f45","datavalue":{"value":"1255.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$C5C935DA-FB1F-43E6-BCB8-37CF71E84FFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95f42f723fc260d84d1a9b3ee5370415123e20bc","datavalue":{"value":"10.1017/S1471068411000032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$7EE213BA-BF12-489B-AE08-3E28C00E9481","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$3EC6A1BF-7981-47D9-938A-F8775FF2EECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$57FF2E35-6D52-4EE6-A5B1-627B5043FC5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e10e56b479cd0143c2e5e1719021cea9810d469c","datavalue":{"value":{"time":"+2012-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4897705$3B52AB21-2AC2-46A3-91A7-6E27A431F3B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e37ab5489a9718faa0a7803fea8fdc6047da893","datavalue":{"value":"https://arxiv.org/abs/1012.2299","type":"string"},"datatype":"url"},"type":"statement","id":"Q4897705$BD130118-5A1A-44C1-BB8C-668F1F04AD57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$A46ACFB5-482B-4572-9E28-650B8F77EF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$100D3344-A5E8-4F94-8DBA-74932142FEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$A9D17913-87AA-46AF-833F-6E6A39400B61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db5389d8b5dd3118043089da793b8d96e8576f0","datavalue":{"value":"6118266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$EDCC2358-63E1-4355-A948-1EB392D035CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897705$85674830-2FE5-4E49-8A74-B20800B6707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897705$AEBA9C3D-6EFF-400F-B485-2DB1EB3E594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c156a21681e411214c30cab3d319b91f8dcc8d4","datavalue":{"value":"magic transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897705$3707E92A-29F4-41DF-93C8-CA40A51DE3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897705$96B894DD-6912-4A7B-AD86-42A0E883CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"055f76b98d87968d1b00fb494c439c48fddbd279","datavalue":{"value":"LD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897705$09992B88-B23E-449A-A43A-1FB1495EED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897705$03EC411C-1272-45A5-AA70-E9E24EC31BD9","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":"Q4897705$23E94361-85BC-45BF-AD6C-7C550CD40E52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$3D1D40C3-F272-457D-AB1C-047D98153554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$3B36474B-A212-4FC5-AA08-48811DCF1B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d575f928e5b101835789d397612c043055704d29","datavalue":{"value":{"entity-type":"item","numeric-id":3210147,"id":"Q3210147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$DFC169E9-4180-47B5-9DC4-A042F02CBC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd38fe69edbe355b40165941e34e66317c8714","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$5C0A6796-D18F-4BAF-B29F-1A5F32102F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c6431267c37f0191f54aa4226a4ffe6e2b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$5847DB09-E47F-4FBF-8384-EE69FE48EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff8baceb74bb9b6136839a0c379929f5b812b9b","datavalue":{"value":{"entity-type":"item","numeric-id":673498,"id":"Q673498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$1569FBA3-B01F-496C-8F94-82EC24EA0F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f28586038cea8cbc7416baeda543b4e3023f378","datavalue":{"value":{"entity-type":"item","numeric-id":4707746,"id":"Q4707746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$E6F7B2A3-A66C-4221-94DB-54EEB6F6C71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07031ee71c40306176d9882eb83a4e5adafbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$DAD7BEB9-0B50-4B2D-9B98-0317E68C78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416ad88a5bb9a3f13c225dddf2d773ff6d5d1aad","datavalue":{"value":{"entity-type":"item","numeric-id":3988795,"id":"Q3988795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897705$859E820B-9344-4707-8AF3-2FED21F40EE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52cc66fe2eb7d71333f3ed8cc0a7a7f7c752e80a","datavalue":{"value":"W2134148399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897705$4898F0EA-8E81-46E7-A81C-9985D64E72C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7380a832a63e441c5b844871dd1847a6de80ab58","datavalue":{"value":{"entity-type":"item","numeric-id":4707761,"id":"Q4707761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb4c8b16155c4a8f445f8bf6a3ed31099cc7dba","datavalue":{"value":{"amount":"+0.8328163623809814","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":"Q4897705$E95A9619-E486-44BF-8E2F-AAE8C4A57DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47668e36d63c7cf6e39deba496fb556724f33504","datavalue":{"value":{"entity-type":"item","numeric-id":4517379,"id":"Q4517379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfba6c61e6811556aa794fd675488bac86e5c6db","datavalue":{"value":{"amount":"+0.7815760374069214","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":"Q4897705$F4B6A0DA-FF17-4DD2-83ED-E50B6BB77B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6716d6ecc84eb79fa308b7a301b91dfa012d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941873,"id":"Q1941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e29c08d55e23a57f8578e7a4915d7301a22b52","datavalue":{"value":{"amount":"+0.7572476863861084","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":"Q4897705$4DDC80A0-FE40-4814-B446-0085FC24FFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628374b6c98a60216e4dc977d50d100288fd83bc","datavalue":{"value":{"entity-type":"item","numeric-id":3608667,"id":"Q3608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90f78c50ecbb981923a392a3eae9bc7be368d6d","datavalue":{"value":{"amount":"+0.7295040488243103","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":"Q4897705$2C7223E1-A422-4936-84EC-C2FC0546C9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e0f4bc12d4867a4fb420ee960de80eada6443f","datavalue":{"value":{"entity-type":"item","numeric-id":2271905,"id":"Q2271905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c994324f81e979aa956ceb018e9faf82e4889e","datavalue":{"value":{"amount":"+0.7256804704666138","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":"Q4897705$2E203C8E-5EAC-4E96-856D-C59B3B0C47D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4897705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4897705"}}}}}