{"entities":{"Q3890090":{"pageid":5919995,"ns":120,"title":"Item:Q3890090","lastrevid":54752819,"modified":"2026-01-29T20:32:40Z","type":"item","id":"Q3890090","labels":{"en":{"language":"en","value":"Models of sequential programs used to study functional equivalence of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3696477"}},"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":"Q3890090$C5FDCC58-5C4C-4C26-9306-8E4407CD5678","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa401cff0dd34e8d22f373d94af8e85693132ffc","datavalue":{"value":{"text":"Models of sequential programs used to study functional equivalence of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3890090$0B1B1EF7-D0EB-4A18-AFC2-F0A53A563416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40597e7b96e49af19a7eddf8c2717c06b8b2941f","datavalue":{"value":"0445.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890090$05000E05-463F-4B54-9DB6-C9C0B629634E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb684327fec9281b50b1d16b0c6ed741157e1640","datavalue":{"value":"10.1007/BF01072293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890090$2A9C7672-741D-4628-B03F-8214ADB086FA","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":"Q3890090$0FF28C38-2F99-41EB-957C-5F1475269DF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890090$A533E223-8473-40DB-A050-B317B73C1673","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3890090$228E8EAF-134A-4A70-ADA8-61839F7B8482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890090$1A5198FB-B434-4A52-8A6C-FE9ACA0CF25F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b731192818c520e6d29f975296ac5e7748e82a0","datavalue":{"value":"3696477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890090$94FAC6E3-8613-4B65-839B-132784F22E17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890090$9B528418-915C-4C52-B544-04254421BBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d884b5ce6823ad2c89d441385babbaba7d99f19a","datavalue":{"value":"functional equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890090$26FAF3D9-CFC3-42A3-ABDF-7C2308B91F2C","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":"Q3890090$0E0A8551-8B77-43DB-AED1-24FDCACCFA95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e39e04c52f51096f9b4d87dad38647491c1317","datavalue":{"value":{"entity-type":"item","numeric-id":4195923,"id":"Q4195923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890090$EFEA4858-87BF-489E-A2A7-AE6EDEE90E5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3890090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3890090"}}}}}