{"entities":{"Q1098613":{"pageid":1109365,"ns":120,"title":"Item:Q1098613","lastrevid":66127032,"modified":"2026-04-12T07:43:47Z","type":"item","id":"Q1098613","labels":{"en":{"language":"en","value":"Algebraic specifications of computable and semicomputable data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039257"}},"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":"Q1098613$778D7150-202F-46E6-BE48-AA159A0227AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36ec4b1ba39717c097ebc05a2488dc46add8f89d","datavalue":{"value":{"text":"Algebraic specifications of computable and semicomputable data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098613$9F30AF6C-CA55-4DDA-8BDA-21FB49D7F3F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec9af2c87cafcd02ad6c6aa783829378cbd86ce0","datavalue":{"value":"0637.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$D8255CBD-DE84-434D-AD83-3D44D2AC31B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"261d1f3dc07500d5c82d3b5c06280e40ca8f7a65","datavalue":{"value":"10.1016/0304-3975(87)90123-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$868F6806-856F-44D7-9025-E4582A4BCC70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$C6633F53-C633-4A32-AB04-607B8E692408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$8240D969-778E-43CD-96F9-D9CC90CCD4DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$A8A6E384-7A03-4085-9837-2C9A7592B7B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1098613$97AB9AC5-8B26-40B6-89B7-CB53A1A0806A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a401768026cd766afe8659e0207cb6dc202a272","datavalue":{"value":"The authors of this paper are well known contributors in the theory of the abstract data types. This paper is an extensive survey of various specification mechanisms based on initial algebra semantics. The mathematical basis of the algebraic approach to data type specification is reviewed. A proper mathematical analysis and classification of the algebraic specification methods are given. The equational and conditional equational specifications, with and without hidden functions or hidden sorts are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098613$98CEC1D6-5EFD-4BA0-A9F2-1551FFF00DCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$A1683C95-2A16-4C91-BE8C-6FDCEC4440B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$62E93623-3792-48FA-B53F-8AAEF4B6C722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$145A337A-9204-49A8-A549-2A52567C19A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cca34ea31e6441d13ee7ddd58394f521c13aef75","datavalue":{"value":"4039257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$F61E3CEA-7DC6-43EA-9886-129BEF71CB44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098613$31A99649-9998-4054-9F22-35EBDB19A48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098613$5C499958-1010-4078-9572-18AA9E87A534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098613$3CB453BA-9B35-463C-89C4-2FAC4D535321","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":"Q1098613$6011FAA9-9C22-4365-89B0-0D69B2431F2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcee6c84e9331eb414de7a5dee6a2dd582369033","datavalue":{"value":{"entity-type":"item","numeric-id":3912001,"id":"Q3912001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$DEB3800C-328B-4344-8AF6-BDC9953A9B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22be3409468ad5c6b0ab8a8a8f099ed034290864","datavalue":{"value":{"entity-type":"item","numeric-id":3217583,"id":"Q3217583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$5F560818-D754-4921-BC48-52744B79AAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f0f87fa003fc86f84c772dc3053954d363a163","datavalue":{"value":{"entity-type":"item","numeric-id":3208066,"id":"Q3208066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$B97304A1-1320-4E88-B57C-429CD5120A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce55656d21d5b61018d20fd360948cf534ed9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3853107,"id":"Q3853107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$FEDDB5AE-5B0E-449C-9FFB-E946FFC52C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907aa2ec32dd709ef2ac1f74163a80b2dde836f8","datavalue":{"value":{"entity-type":"item","numeric-id":3896478,"id":"Q3896478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$F8937E5D-AC0E-4F87-85A8-4B6642D8E0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8a1c845d2390bdf790cf0f820ae5a98cae4300","datavalue":{"value":{"entity-type":"item","numeric-id":3851592,"id":"Q3851592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$F56E1B9A-503C-4F7E-B00A-77DFD26BCBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98915f4a33d3b04002cff1f5ab6f3ffdc40af823","datavalue":{"value":{"entity-type":"item","numeric-id":3854600,"id":"Q3854600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$3BFCAF2A-A4A3-4DCD-8FC5-6305901E0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cc88c84e5f2f7ead4bb196346ee40f80dd92c9","datavalue":{"value":{"entity-type":"item","numeric-id":3854601,"id":"Q3854601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$42B2B968-A5E2-4FB2-9E79-D8548341004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1295064b6ab47d21c7f067c44bf7ec955502d749","datavalue":{"value":{"entity-type":"item","numeric-id":3917477,"id":"Q3917477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$8E544CF4-6D39-455B-9B45-DACD169C4FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6162a47706be814c34042fd00c7c48b95d112be","datavalue":{"value":{"entity-type":"item","numeric-id":3662597,"id":"Q3662597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$971ED96F-3E5C-430D-AF55-131A5732754E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062e6b60e77749216114d35202f5ce2c55314034","datavalue":{"value":{"entity-type":"item","numeric-id":3659115,"id":"Q3659115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$A5E6C01C-604C-4DCC-9987-4BE835A6950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$2F1189A1-9DF6-4C81-AF21-247778803138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516fe853b6e955293f6d8b736ca8367452853231","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$A1192818-9491-4EA4-9DB8-6C8264C373CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c31f2149a24128f0c1f2fac135e29b89346dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4190110,"id":"Q4190110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$812AEA70-664D-4F9D-A055-575760C95559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$250B8B81-1D91-4017-AC16-D29FA557FCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$9A30C289-8DCE-4B08-A4E8-5B2C1C7A8C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$5715DAD8-E4B7-494F-BCC2-E96B6C462502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e88870054f81c2d2a3fcd8c5392e32b6b1070b","datavalue":{"value":{"entity-type":"item","numeric-id":4168052,"id":"Q4168052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$88271CE2-E889-440C-8656-3E18AE35DF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$95DB3470-0FAE-44EE-A663-B9F0EEDAAA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$F0025352-3697-449D-969D-4F0D71472F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85334d5fa602c8a27f43e2d3492162d906c6be8b","datavalue":{"value":{"entity-type":"item","numeric-id":1084849,"id":"Q1084849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$2300C40F-979D-43DE-B018-50D02DC12799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$3DF87298-091B-4D07-967C-8370D56D3532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$1A169459-E3D5-4281-AE55-565914BF4567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e7eb3ab3cf07e66bdb216c07a9984aad09ba65","datavalue":{"value":{"entity-type":"item","numeric-id":3681911,"id":"Q3681911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$E7053F76-ABD1-4445-9BBB-D51BCE62317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa518cff8ba18aee424e798849bd39df384deef0","datavalue":{"value":{"entity-type":"item","numeric-id":4747503,"id":"Q4747503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$3709E840-802D-45DF-85C4-B141C02E2649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175711f593816e20b10c78e9abe550e064f74383","datavalue":{"value":{"entity-type":"item","numeric-id":796979,"id":"Q796979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$1009952E-012F-4EC5-81AD-FB7859A52B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$9C7C2892-4791-473E-867F-6EB632DAEF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653438d7947829d6714d81187175e2433c8365a6","datavalue":{"value":{"entity-type":"item","numeric-id":1234591,"id":"Q1234591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$D8D01822-0461-4E06-81B0-F70A94FBBA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f524d35123721fcaa1bcffec07bc906cfe14da","datavalue":{"value":{"entity-type":"item","numeric-id":1252032,"id":"Q1252032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$7179B60B-92A0-40A9-8DC2-27AFA0E449AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$463FE532-E4FE-462C-96F8-D4C7F5D7687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$AE0D7A8C-3287-48E8-9406-0BF69C42FAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$A788F3A9-C65A-4702-883B-15BB769C6828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$F787561C-64DA-4D40-9A80-3DD465E12184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad00a83b5d740d9489736b8014faafa0c722caaa","datavalue":{"value":{"entity-type":"item","numeric-id":3248054,"id":"Q3248054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$AA34A142-F72A-4805-B880-14E368D32D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$75237894-67BE-4833-98D1-E1CC6158210A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$6CAD02D5-334F-467A-B641-D1C16D6362AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e123f2e3e5ea23e8be912e7e37a99a76e19b49","datavalue":{"value":{"entity-type":"item","numeric-id":5677651,"id":"Q5677651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$435F6428-8EB9-496B-A30A-EFC1482E51C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c010a7f2937ccbc804d7a6eb403758e4b3b4eb36","datavalue":{"value":{"entity-type":"item","numeric-id":4934287,"id":"Q4934287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$BC0B6AD9-9894-4DFA-9E56-251E100EC834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$AB57284A-5DB1-4A49-8341-EE07D3B12499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110ed67720fe603992088cf207d619f609c16293","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$70172294-FFC9-4048-B02A-523B723F7632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$87C13C4E-A9BD-494E-9ECA-A6BC4FD77D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb020e51eeda1d03050defbdb772396e409a80f","datavalue":{"value":{"entity-type":"item","numeric-id":3883462,"id":"Q3883462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$1AB1D350-9A44-432A-9D62-4AE22AF692D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c94bc65865d079879814884b1124597298b55f","datavalue":{"value":{"entity-type":"item","numeric-id":5543003,"id":"Q5543003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098613$33E0B8C8-6B0C-47E7-B739-D89C2B0E98DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"020b1396039540b12864861942fabf50b8e92651","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90123-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098613$FB43E90B-8634-48C2-9FD0-B782144C3944","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"265f26012eb13bdcfdceccac3296f8a30769d01c","datavalue":{"value":"W2007898361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098613$81878F75-8B32-4899-8030-7123C0448AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3555e51460d2906eff73519c4f3b1387799a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3809235,"id":"Q3809235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68717118dfe5c1c9aae85af0e6c1dde9d45e4ac4","datavalue":{"value":{"amount":"+0.8565952777862549","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":"Q1098613$2782F860-7836-463F-A320-A1A9546E1508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b33c4c7e43d1280f5787eb1ba8812c5009c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5402549,"id":"Q5402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ca57295496319944e9e4c3401e431f47c730db","datavalue":{"value":{"amount":"+0.8405895829200745","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":"Q1098613$D128FEC0-F208-4482-A8F9-7E6C1171EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef8c3e01d06907c997bf702141028b7dd599b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5292644,"id":"Q5292644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c343c7263f9a0e385b7fc5fb0a916de69bdcbff","datavalue":{"value":{"amount":"+0.8318684697151184","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":"Q1098613$B7F9F859-BC7B-42BD-A2FD-81281258BF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02adcb991284baa4992431a73d5d0488b8bee5e","datavalue":{"value":{"entity-type":"item","numeric-id":4728229,"id":"Q4728229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb809ccb0b5b7a8e1e10509cbe1eb96bcf43fa4","datavalue":{"value":{"amount":"+0.8234921097755432","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":"Q1098613$5829FE21-FA72-4E55-A2DE-996C413AC2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e29a19c0e9dcdb5c586b64c973ac7868d4c691c","datavalue":{"value":{"entity-type":"item","numeric-id":4503969,"id":"Q4503969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253cb651286e521554422546e5af9d03cd36f539","datavalue":{"value":{"amount":"+0.8013429045677185","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":"Q1098613$48B42EA1-684D-40E7-A928-1B8031F2B0F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic specifications of computable and semicomputable data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_specifications_of_computable_and_semicomputable_data_types"}}}}}