{"entities":{"Q1132547":{"pageid":1143296,"ns":120,"title":"Item:Q1132547","lastrevid":42900951,"modified":"2025-07-15T20:56:37Z","type":"item","id":"Q1132547","labels":{"en":{"language":"en","value":"The functional equivalence of programs and its modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3653501"}},"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":"Q1132547$665B0B59-CF30-44C0-85F7-F9F790C68D11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76db79f611ab1cf3231fc75e151ecf81b11fe4de","datavalue":{"value":{"text":"The functional equivalence of programs and its modeling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132547$C502201A-A19D-49CB-8F0D-FE33F175D37B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658b11f79125c48471e8a31a5a8edb2a5e41d3c3","datavalue":{"value":"0419.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132547$A2FF3613-1069-44F5-B94A-10CDFA70FB6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95ee446f93eda65728c764c965cda6a22d6dc080","datavalue":{"value":{"entity-type":"item","numeric-id":174222,"id":"Q174222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132547$69E7EB7E-99C8-489E-9787-978FFB343DE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132547$0D57311F-7586-44CD-9C30-35F31B5AE63D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1132547$125AC7AC-B428-4BA7-866B-6FEF555A041F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132547$82C4685A-A3E2-42B3-88F1-99650403F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132547$A405A870-8A63-4E57-93F9-EA1018FBE549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e32507fd687eee242beb6f7fe40fb8c41ad85b0","datavalue":{"value":"3653501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132547$8BF91398-E7D7-4FF5-825E-D4EC1AC5147B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3d3097a8713c6441474d2de7b5a406c9300f96","datavalue":{"value":"programming theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132547$FD22FD0C-CAC5-49E6-85BF-2BA8612A4311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d884b5ce6823ad2c89d441385babbaba7d99f19a","datavalue":{"value":"functional equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132547$BEFD428A-6BDA-405C-8078-B2DECEEDC2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132547$0EE2B87E-9EF9-45E1-BC9C-F0FE00EAECC7","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":"Q1132547$2C90C162-4339-4BEF-82F0-24D269A36CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1132547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1132547"}}}}}