{"entities":{"Q4847375":{"pageid":6876955,"ns":120,"title":"Item:Q4847375","lastrevid":47355862,"modified":"2026-01-01T12:05:27Z","type":"item","id":"Q4847375","labels":{"en":{"language":"en","value":"On the Proof Theory of Program Transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798904"}},"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":"Q4847375$FCB32360-88BD-473E-B08C-5A4B404AFE11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98c9bf7dc5e84e23a3d0f0bf81a78562d1150af6","datavalue":{"value":{"text":"On the Proof Theory of Program Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847375$498F115F-8A73-430B-918E-A0C3400A356B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d9e1928e3162966776ac0045272240bad80282c","datavalue":{"value":"0833.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$C30BCC7E-9B42-427B-8CAA-261D014CF5C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2407d166abf2752782a88ad6526ca336d664a72b","datavalue":{"value":{"entity-type":"item","numeric-id":706505,"id":"Q706505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847375$669FFD09-D76B-4161-8462-CC3AB0DE6BC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39befa412b6f184069f2e562a37f7fe841b3f444","datavalue":{"value":{"time":"+1995-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4847375$5D7B1FA3-D583-4934-BDD7-9882DB5CE282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99921e4a870bba2355e67c23331b9921a936a464","datavalue":{"value":"https://semanticscholar.org/paper/85b35d1ffc2f75f2817e601bb9cce9fdafa31593","type":"string"},"datatype":"url"},"type":"statement","id":"Q4847375$D58BDB1C-A191-4720-964F-E0616900E4C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$D33DB2C2-1330-4824-B174-5A6CC7F81C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$DEF4BF88-6432-4937-ADDC-852CA19F243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$F479FC37-30AA-4866-A3D0-6A629DD2CA20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcf0570de203a42a1de3e7be10a1f2fc0c049aab","datavalue":{"value":"798904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$3B5794F9-2796-4BB6-9E19-74F5F60FC004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847375$F38BA1F3-0B3B-44AF-A32C-85453BE79D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847375$8076BE34-BE4F-4592-A847-2A7C30699A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a427fce7f8576c44fab982c3915c01f61c05f379","datavalue":{"value":"intensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847375$5EDE3215-CC9F-4AEF-9490-0ED4CA91A69F","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":"Q4847375$93BB0179-78A5-4FC4-A870-2B4A4D177E30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2cb0d79d9f86825a5716794df72ed402674b68c","datavalue":{"value":"W1968296897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$35109448-2659-4A63-A54F-1586851BCB5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3de031f9a8ed69761136e0027233769c283e89d1","datavalue":{"value":"10.1093/JIGPAL/3.4.643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847375$89DAEFD6-7FBD-47E1-B143-4E961E40C010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847375$B7F8C8FF-A506-49B6-98C9-77A27E672F88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4edf7306954ffe3c7d76c99629bdb658db61444","datavalue":{"value":{"entity-type":"item","numeric-id":4847377,"id":"Q4847377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0ab9387eadfe7844fa75589ae9ff6af3cf7c7f","datavalue":{"value":{"amount":"+0.8916206955909729","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":"Q4847375$A2845507-53C0-4D73-B4E3-F0D4D82F38C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63f5027884db90b3b56d66c308be753437c9d64","datavalue":{"value":{"entity-type":"item","numeric-id":4525292,"id":"Q4525292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff0c7c64c9bdb4bd9a2b24b107a0fe01273f428","datavalue":{"value":{"amount":"+0.7674575448036194","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":"Q4847375$C5D7CBC6-8E8D-4AD2-9DFB-94282F5BA3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc96c9ad53a919a83810b6d00e87298a4cf43a65","datavalue":{"value":{"entity-type":"item","numeric-id":4841288,"id":"Q4841288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6b4400beedb18e7fcb9c5311e8728c19189100","datavalue":{"value":{"amount":"+0.7672423720359802","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":"Q4847375$1B0AC4D6-4B84-4D85-98F1-81D463B4CEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4591180b2d02b40e176873238da259d4069d29","datavalue":{"value":{"entity-type":"item","numeric-id":4842542,"id":"Q4842542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e446e6c935b4338b55c4433d4ac1eabc05cff4d9","datavalue":{"value":{"amount":"+0.745223879814148","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":"Q4847375$D89DDBE4-C8E8-4858-ABCD-763A9D856A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0498392e58a4be01e08d437fa20944327eb683","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c6443dbb83d10b69cecbbc8c7191777f197a46","datavalue":{"value":{"amount":"+0.7449831962585449","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":"Q4847375$54BBEA5D-3AED-4A68-8BB3-8AD76C821039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4847375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4847375"}}}}}