{"entities":{"Q3893265":{"pageid":5923170,"ns":120,"title":"Item:Q3893265","lastrevid":54870929,"modified":"2026-01-29T22:21:29Z","type":"item","id":"Q3893265","labels":{"en":{"language":"en","value":"Operational and Semantic Equivalence Between Recursive Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3700168"}},"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":"Q3893265$5CADDF98-C1C0-4085-BD93-4B9F2EDD9198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9de25fe2ac4192884cc77fce836a0abee556e6d","datavalue":{"value":{"text":"Operational and Semantic Equivalence Between Recursive Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3893265$2DA04D16-2ADE-4419-96EC-7B99C449B724","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad0579f80edce4cff86d1d946a19d1728d0c88a","datavalue":{"value":"0447.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893265$ADACF8D3-E320-4EFC-8B3B-6998016AB279","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f58e22216040cde4269cc7931f85db44884982b0","datavalue":{"value":"10.1145/322217.322229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893265$70E79ECB-9A62-4A80-B169-EE543B8991D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b635c4a9aa15b39065cada86496465d1b2fe7add","datavalue":{"value":{"entity-type":"item","numeric-id":800735,"id":"Q800735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3893265$EEA8F407-8EC0-4D6B-A3B6-96BAEBBD977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b97bde5270147577b80be79d7539f14bdc38196d","datavalue":{"value":{"entity-type":"item","numeric-id":1145671,"id":"Q1145671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3893265$3D678672-3B52-4F1E-8D82-FA1AE53BFEDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3893265$046EE8B4-7088-4241-A9C6-CB647D619A2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3893265$0CC7539B-6DAA-4D1B-9DA0-FE0D94E28953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893265$9A80B8CD-0ACA-47D9-B328-7E3824822185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e80b286a6e4ee06825478cc9c6b02403f4079c","datavalue":{"value":"3700168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893265$9B343E38-6FD8-4869-ABDE-70C2566190C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893265$28E3B1F1-996E-4C7E-8DC9-8C55FE08A704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893265$4DCB9FC8-30B1-44B1-BA67-42AE1F88E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893265$B12DA9F0-DF15-4762-B7AE-67B5803F479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893265$877C6BA3-9F5B-40F9-90B3-49DEFE8C8009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893265$70E64007-D5F9-4367-8018-124D31F5BD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774fdc2040f2045cc30fc08e77b2075c1dc0f8f1","datavalue":{"value":"subtree replacement systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893265$7C3211C3-0979-4E63-AE1F-14B8268F3444","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":"Q3893265$64BA4C33-6377-47A4-A8C7-2B0D3E3FC876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e099e10060ac6862c7ad0acf9cb52e99962816a4","datavalue":{"value":"https://doi.org/10.1145/322217.322229","type":"string"},"datatype":"url"},"type":"statement","id":"Q3893265$B3C04C9D-C625-4B53-B99F-4094F35ECFFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eeb56f9a153be86d0185d03551684722468670e3","datavalue":{"value":"W2070558135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893265$BFA5A63C-8E5A-450E-9F2E-8896B7B222E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3893265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3893265"}}}}}