{"entities":{"Q1264443":{"pageid":1275193,"ns":120,"title":"Item:Q1264443","lastrevid":46597659,"modified":"2025-12-25T04:18:52Z","type":"item","id":"Q1264443","labels":{"en":{"language":"en","value":"Dynamically typed computations for order-sorted equational presentations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204275"}},"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":"Q1264443$CF835DD7-3266-4BB2-BBA8-CA33331FE311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d51359b9f3ab8887b8a291dc8837e098c901e5","datavalue":{"value":{"text":"Dynamically typed computations for order-sorted equational presentations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264443$057F2BF1-4AB6-48C7-8076-8C1801823235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0460df00510f6172ed90e2bac79202c9d078e81f","datavalue":{"value":"0983.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$F17E2DDB-3025-49E8-A6EA-C57A65D31B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0d10537801541d5cc2ebc6fb7c47f82ba6a008d","datavalue":{"value":{"entity-type":"item","numeric-id":1264442,"id":"Q1264442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264443$56E73388-5A00-4ED2-8CB9-F0A9DE56CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264443$34D61678-8C13-44C7-A45F-1B49A8E14058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264443$A8003844-0157-4C12-96DA-E39821BE586F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264443$924A126C-A0EB-4422-BE52-75459851A792","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c5fb5fc74d29567f00414ae378dbfc04be0b06","datavalue":{"value":{"time":"+2000-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264443$864653EE-2D3E-4FA4-A3A8-4D036100DD2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f9715baadce701ec40729ef839aeda02b667b4","datavalue":{"value":"https://semanticscholar.org/paper/32f3afa6bcb7c13174cf222f0d65709a868a89d7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264443$1A0D918C-9E2E-483A-AA78-77669D724BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$9464140B-0EC8-4EB1-B9B6-2F9486502844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$80120FBE-CD68-475F-89D5-11CB8AFC6942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$04F84C28-0B33-4839-8D8A-0678CB85E3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$6E996B58-0354-4D4F-8A77-B7AEE9909A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$7A0CF52F-9963-4EB7-8A8C-E9EB12D3EBE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44ee17ef52b0e7684997f5d0b75c08ec40bfd988","datavalue":{"value":"1204275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$2BCF11A4-5866-4B91-9492-E1158E70DA51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18430a7d881137d2a5cc1b27be3583c9edff72a3","datavalue":{"value":"\\(G\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264443$75F59E8E-8AE2-4575-9B3F-9CBC72B50A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264443$B897399E-CB94-4CE6-98AF-4C7993F66BB5","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":"Q1264443$BC1BC972-AAC0-4DAB-BDC4-438D37107E72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"464d02c129679bf8d1815ca617d905a481eb90e4","datavalue":{"value":"W2051858697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$71281B03-7F0E-4CEC-9AAD-BA6DB82996CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b9fa3141bda439b01f8cf82fec6ea6e4e5cb0f5","datavalue":{"value":"10.1006/JSCO.1997.0187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264443$CCF01826-F14F-44EC-9C26-4BB8CD976A32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77acd5b3ad4be5f8c1c32e7c1a474c5f3a171465","datavalue":{"value":{"entity-type":"item","numeric-id":4632447,"id":"Q4632447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edd3855faa4a78e4a3e499e86ddd527204cbe12","datavalue":{"value":{"amount":"+0.9540107846260072","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":"Q1264443$A5227A76-2DDA-42CE-B9C9-3F098399DDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46bb2b8f73343bd9cb6ed10463ea0f250277677","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cfe78cef03af554d7385f6e145457010cd3410","datavalue":{"value":{"amount":"+0.7685065865516663","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":"Q1264443$7262FD2A-A827-4A66-897B-871AE8053677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11478f5ecb8b29c65dccd06e13596b48d3489e10","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6eba20c769950c564e47dff1eee6d264ea34fbc","datavalue":{"value":{"amount":"+0.7565111517906189","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":"Q1264443$B2A86629-3382-4E61-9516-6CC671E72458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6c205cb27cbd663c98bf20a1e1441b16569e67","datavalue":{"value":{"entity-type":"item","numeric-id":2628298,"id":"Q2628298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f9802c841cede89edc3aea20e93bfbfe757482","datavalue":{"value":{"amount":"+0.7431039810180664","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":"Q1264443$44C44B78-92BE-48EE-B024-228F49A13D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1264443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1264443"}}}}}