{"entities":{"Q3741042":{"pageid":5770948,"ns":120,"title":"Item:Q3741042","lastrevid":50928692,"modified":"2026-01-15T19:22:02Z","type":"item","id":"Q3741042","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976319"}},"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":"Q3741042$D2BDA721-CDBD-4E0B-84AC-976009B3E8C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4f7f1d10f651597a5d5c85c6d2227e0b13fa269","datavalue":{"value":"0604.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741042$7C65C0BA-2278-4EBC-AFA8-4A9E0DE53CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b8ec1468d428238f8d4531c8e2ef03fc061c69d","datavalue":{"value":{"entity-type":"item","numeric-id":453538,"id":"Q453538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741042$EA0A1ADA-061A-47E1-A663-59B569F86B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741042$46E6492B-1F55-4AB3-AD25-958926A56BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f256d5cf43befc80d25eef0366dda59dbd77d3","datavalue":{"value":{"entity-type":"item","numeric-id":1229200,"id":"Q1229200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741042$45CAEFFC-83FB-439B-8A08-41D400BED564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3741042$BB39D3A4-5AD3-46BF-B4C9-6E57305C4C4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741042$81100558-1AFD-43D4-B483-24DD5CB453D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741042$611F377D-793F-4A61-B5BF-9270FE6A5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741042$398FEE22-5BDF-4B65-AA7A-314D765FF473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741042$D9349233-A860-44C8-9281-C3D720F0F1B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6694ac3be2c0152e3393416490c8e72c8e0d198e","datavalue":{"value":"3976319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741042$1A2C6ABE-4729-4EA4-A261-C47C9B5949EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$B58FE3A2-5FC0-470B-9834-75BEC793BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$F1AA9C0F-590B-449D-BF10-5EBE041C87E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$50258E15-85B8-4240-92BC-222D35333317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$69174DDC-EEE6-4CA7-A68F-1ABCF43CC0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6247cbbd94b3358f8a29ab9c831f523d2fd868f0","datavalue":{"value":"syntactic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$1D40AF98-B902-4391-8F8B-CA83C6953579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c5b57939a30d2f5096705b654513a6bbfd08dd","datavalue":{"value":"Plotkin's language PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$C50E3E8B-1264-467A-A452-F9D80E7CF22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20014a0c16433ca7b7ae0f2787d3fdc0ca2a4d3d","datavalue":{"value":"cpo-enriched cartesian-closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$8953B2AF-F946-4821-B2DC-803F1722F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9359e229d8534733f87bc7b267dc4594b42fe683","datavalue":{"value":"least fixed point model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$F8D349FA-1009-493B-A0C7-33297F825601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e717514a2a3f5382331e2343742c549e1ff27e79","datavalue":{"value":"fully abstract model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741042$DE75ADF6-312A-4826-95F1-A3CE369E0DC2","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":"Q3741042$90B13181-448E-4425-AF7C-D721633FC0B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5508934afdbfdc4a975c7b8e40804f1313acb310","datavalue":{"value":{"amount":"+0.8636598587036133","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":"Q3741042$FEBE2FB9-1DBC-413A-B62E-94E46ABA100F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d611f5de6d5e9d255fb9bb24ede24c174506bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4523165,"id":"Q4523165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9db79e68722d1c38ecf3d158b4c4760849ec9a","datavalue":{"value":{"amount":"+0.8556792140007019","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":"Q3741042$C54513A2-114B-41DC-BAD9-CFD1397549FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82440d75f6230f8e0a8adecf6d808dec059c173","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9db79e68722d1c38ecf3d158b4c4760849ec9a","datavalue":{"value":{"amount":"+0.8556792140007019","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":"Q3741042$6614A9B9-15D6-4909-9B65-E7D5B8343593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90c0d3417f67c4711cc2ae7df7b7cb42d61cc02","datavalue":{"value":{"entity-type":"item","numeric-id":1327401,"id":"Q1327401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b020290eef8114d8e72b64df59a19277c02587b5","datavalue":{"value":{"amount":"+0.8478453755378723","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":"Q3741042$08DD9286-B144-4A6A-AAEE-C70C3F97BAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9976950aded8a467b9ddc3c071f459a75237e2","datavalue":{"value":{"entity-type":"item","numeric-id":5890055,"id":"Q5890055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e149a7b98e2501b687a1095092ce4e0ad09335e6","datavalue":{"value":{"amount":"+0.8451152443885803","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":"Q3741042$8D92AD79-7429-40AC-98A9-F922BAA95271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3741042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3741042"}}}}}