{"entities":{"Q1422256":{"pageid":1432996,"ns":120,"title":"Item:Q1422256","lastrevid":48235090,"modified":"2026-01-04T01:41:35Z","type":"item","id":"Q1422256","labels":{"en":{"language":"en","value":"CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2039132"}},"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":"Q1422256$7EAFFF48-3ED0-49F0-8E5E-6469CEBAA6A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d64e682069e5f0db697f025625f53ad1895aeaee","datavalue":{"value":{"text":"CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422256$DECE1C42-9AEB-48DC-B747-ABA7C17D5F30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"218896eefcb24ae5194301e9a038ce7ec78e7179","datavalue":{"value":"1033.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$4CCA5807-F82B-4FFD-8D03-2EF21A40D432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422256$4771D1C8-71A8-4DAE-B54C-4BE8AB8566E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422256$8C1BA48E-E97C-4002-B7B4-BE6F3176FC25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422256$E715997B-50A1-4084-B436-56AAF65BE36C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c9b077b3f30da72d266422297496088ec95f449","datavalue":{"value":{"time":"+2004-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422256$7464D646-FBCA-44AF-B537-D5F2A135F3C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$DBCD9025-A5DC-4AC6-97F8-28359A2054AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$7B950504-AEE6-41AE-987D-804A9E59FCB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc46ffb3ad76417366a6a857c6256aa4d5c7a8bc","datavalue":{"value":"2039132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$38D8F6E7-F7F1-4CD8-9BB5-F1DB4DC4D23D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71fc62c67500974f36bebaf84a4df99d154a9340","datavalue":{"value":"CoFI","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422256$53AFB79A-4206-470B-943E-72DBCA97CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dda353c46b0a19ca9e4c4091f69c7bf9aa60e13","datavalue":{"value":"CASL specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422256$5BBDB959-4E1B-47F4-B80E-E6A20A437579","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422256$F06962DB-E913-4BDF-9E97-7DABAC478716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422256$389D6EE2-3BC4-464C-911D-9D2E06F85338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd02d4d62b5959aa902e1ad2d76d1a474786d83a","datavalue":{"value":{"entity-type":"item","numeric-id":23262,"id":"Q23262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422256$5766C6FE-E8B4-4F82-B12F-626630CB01C6","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":"Q1422256$9A9A90C9-FB62-45BC-8715-59DFD4A96D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deef7414ce55eb562000a9984ee6fc4e29d4a5a2","datavalue":{"value":"https://doi.org/10.1007/b11968","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422256$1894F778-EB82-4853-B5F4-0F30E326974D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f7397bab2a1349555199f078aaa8f193382b59a","datavalue":{"value":"W2492089900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$B0E21F98-E4C9-4E17-9D72-4982E601CAD7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bded9215342f765de5f75d6de31f4291a6b28113","datavalue":{"value":"Q57783457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$41CBE3E4-517B-4319-899F-A85A9FFE74C2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d1e0fa05c46d07d2662a369a58f4fda944d19198","datavalue":{"value":"books/sp/BidoitM04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$7A6609AD-33BD-4A44-862B-95020163A122","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4353f4319bc270feac78a381ff03c407dee6ae95","datavalue":{"value":"10.1007/B11968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422256$44CEF54D-4558-49EA-B74D-3E99E618106E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c567d0e6eba156cfa35fb4ceb45ce3a97376daaf","datavalue":{"value":{"amount":"+0.8999590873718262","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":"Q1422256$D7E0814E-202B-46D0-9590-2FFF5BE110B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798014feeedc302b1cc7b53f514045d734b0f56e","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079e448f09ba75316d34812085437352067ccef7","datavalue":{"value":{"amount":"+0.892747163772583","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":"Q1422256$F14473B3-25B8-4D99-9A8A-B45151385BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df3fbc0c38d7d6eed77c892535438bfa603aac0","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add1b90db47de6b07745bca70e7e6e8a91363cc7","datavalue":{"value":{"amount":"+0.8770439624786377","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":"Q1422256$6D777FE1-E98C-4416-BEB8-9D9D431BCCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3c62d1d77021ab3323a10003b2514c64594faa","datavalue":{"value":{"entity-type":"item","numeric-id":2729074,"id":"Q2729074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e638c67ad01184f525d7e65678d5c4c3490620","datavalue":{"value":{"amount":"+0.8754549622535706","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":"Q1422256$1695AE94-86A2-4521-9F66-164202BEEA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f256f2e0d8dc322624b9f7dbc57c029f2e78a6","datavalue":{"value":{"entity-type":"item","numeric-id":4255593,"id":"Q4255593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db1631683b3bccc8fc14daf5fb767e5682f5021","datavalue":{"value":{"amount":"+0.8522406220436096","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":"Q1422256$63E7F85F-7ED8-419A-8915-6B6326A6F844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1422256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1422256"}}}}}