{"entities":{"Q2956730":{"pageid":2967449,"ns":120,"title":"Item:Q2956730","lastrevid":52725374,"modified":"2026-01-23T09:03:22Z","type":"item","id":"Q2956730","labels":{"en":{"language":"en","value":"Algebraic semantics for functional logic programming with polymorphic order-sorted types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676212"}},"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":"Q2956730$4EF0B550-E56C-4F51-B72A-933C2FC3B545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fba62cf0e0c8d720e43d2b27851ac5e55e364b43","datavalue":{"value":{"text":"Algebraic semantics for functional logic programming with polymorphic order-sorted types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956730$80783A30-9FE1-4144-B279-2D6B5099045F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e14395ce9c6a93f5ce5b50515edeff6969eb6f","datavalue":{"value":"1355.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$4CC56F67-170B-47FC-8105-446772FD0343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"691d837f82d23dbe6ef77694cfaeb3593d319581","datavalue":{"value":"10.1007/3-540-61735-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$F9987CF4-9C20-4479-985D-EBB227EBB31E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26324be49db4e3c99b48daa000c21ac31d5c2234","datavalue":{"value":{"entity-type":"item","numeric-id":246450,"id":"Q246450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956730$98886C20-0FA3-4D26-B114-B61E819ED5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79159639be29398efbc624bcc37111244e1667e6","datavalue":{"value":{"entity-type":"item","numeric-id":918963,"id":"Q918963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956730$8A4355FE-3E10-48F6-ABB1-42F61B6E3DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8828160d6fcb6cd514b6d76ed7eb8a98ac87123e","datavalue":{"value":{"entity-type":"item","numeric-id":2956729,"id":"Q2956729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956730$F2D9E33E-02A4-4120-A54B-24806A15A1C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956730$6DE3BCFC-A54F-4F79-BA0A-D9ABBEA15585","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956730$30D4FB73-F450-4268-9EFC-EBE3772F2290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$F483F324-9C80-4A58-A455-02F4856C57D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$C26AE8E5-D8CA-4F64-8F37-B3224CF50607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$61A49935-1AE9-4198-B9D9-156E684B88A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a5eaaaf2c2c1afacff945182ace289f85cbc3a3","datavalue":{"value":"6676212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$77520AC4-883A-4DAB-9316-A7BCC447065F","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":"Q2956730$3554747C-09EE-4D37-B716-1EAE9D695A64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e7911386d2642117f065840b65ca0206b6f647b","datavalue":{"value":"https://doi.org/10.1007/3-540-61735-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956730$BEB01090-C5D6-4A11-B909-64B5F7FB68F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f6f591a9e7337d1b544bc88d00c469a3c818540","datavalue":{"value":"W1794854756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956730$C65BC077-57F5-4599-A563-F545744DD7A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68fc10c576015034da631874e137c252e1d4675e","datavalue":{"value":{"entity-type":"item","numeric-id":3995237,"id":"Q3995237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eadbf64c260882a74873ec459cf39b005bdc744","datavalue":{"value":{"amount":"+0.8035507798194885","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":"Q2956730$7B49EA18-EC61-4CB8-908E-8614164ADF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8dc9a872db4b81a631124b46c9b5dc9da04a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5096189,"id":"Q5096189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d4adec3fb8b05b4b7fecaf717427dfa7401a88","datavalue":{"value":{"amount":"+0.7975406646728516","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":"Q2956730$7199F78E-4F9A-4B2A-8115-DAC4CCE6E21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a1b415c198d1bf5cfe06420b454ce01fdf8180","datavalue":{"value":{"entity-type":"item","numeric-id":4940928,"id":"Q4940928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4441e84e1e06ee46dd01501374c444f6514ef9","datavalue":{"value":{"amount":"+0.7887601852416992","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":"Q2956730$6209A75E-82E0-4360-A9AC-A54B31CC3E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2001327ac7b991a28104370365a32d5dcb47631","datavalue":{"value":{"entity-type":"item","numeric-id":4452630,"id":"Q4452630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1435b105f876fc39b865d0e93a84cb29594a4d84","datavalue":{"value":{"amount":"+0.7874916791915894","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":"Q2956730$7D679560-35E0-481E-AF4E-E7D3731288A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed63a54ba901b65e13db2763827b2dcc8597a71","datavalue":{"value":{"entity-type":"item","numeric-id":2766766,"id":"Q2766766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e8e99e4ff04e485a499ec2d9764dde5c6dd583","datavalue":{"value":{"amount":"+0.7784863710403442","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":"Q2956730$284856C1-BD45-4EA1-A2A7-818AB43B57F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2956730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2956730"}}}}}