{"entities":{"Q2176678":{"pageid":2187421,"ns":120,"title":"Item:Q2176678","lastrevid":53723459,"modified":"2026-01-25T15:04:07Z","type":"item","id":"Q2176678","labels":{"en":{"language":"en","value":"Cylindric Kleene lattices for program construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196585"}},"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":"Q2176678$134A6115-E02A-424F-A4F4-BCC5A5A84D98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5670503bd2e95e4c7820e1e60ba5333911e65913","datavalue":{"value":{"text":"Cylindric Kleene lattices for program construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176678$AD5A97A7-E9F8-4262-8EE3-FA2102E7FADD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66c160c16730799816606b063ebb30f563a03b66","datavalue":{"value":"1434.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176678$916054F1-02A9-4CB5-9AB2-32C154639FF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860d1f4e095839136a692a56656b7d71e3a04b19","datavalue":{"value":"10.1007/978-3-030-33636-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176678$879079F2-CDBC-4529-B96E-3C304624CC91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176678$D5CEB92C-BA4F-4C6D-9B7F-15371671EE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176678$24C70C34-78B2-45BF-81C4-9413E7BC1136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176678$4348467E-FE6E-4D33-9EDE-DD74C9CB3710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7566aaa95252813995fae694d788bf30175d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1682287,"id":"Q1682287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176678$3F7DEF71-4452-4500-A591-CDE8B0AF4169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176678$F4E3A84F-1E5C-483A-A64B-DD96A57F57FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20c8babb819582d19aae24c4f5b2b037480f7410","datavalue":{"value":"http://epubs.surrey.ac.uk/852438/1/Cylindric%20Kleene%20Lattices%20for%20Program%20Construction.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176678$D6AA9761-541C-4276-B180-C6730DB67333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176678$1A4BDAC7-9020-4989-84C1-166A0907A2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176678$A1C855A3-5EDA-48DB-BC68-58F16533A3B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74d37f9fe0244f4d008eab068bd256ab13b9456b","datavalue":{"value":"7196585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176678$E4B2D1D1-B473-491D-859B-64A3A486B800","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":"Q2176678$5904CFFD-825E-484B-8EE7-6B4CC4462963","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afa6d7ecf62a2ace45be622a734a5fc804d4857d","datavalue":{"value":"W2979684009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176678$085DDD3B-60CC-447B-9781-81F4FFA9BBA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9c341d7b61502da0cf0644f4d68bc34d310987","datavalue":{"value":{"amount":"+0.7481383681297302","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":"Q2176678$5A9F6C39-10E3-40EA-B0C7-ECE1E8F24FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d41a3745b3e3bfefb6c18ef427f44efd8b5b87","datavalue":{"value":{"entity-type":"item","numeric-id":3317106,"id":"Q3317106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9b053d2185acc8b12fcad874331a759919091a","datavalue":{"value":{"amount":"+0.7476345300674438","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":"Q2176678$DF768D14-4E04-45CC-9513-BC24853A5BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6eb29c455482501dee06b44a82a032c8d971bd","datavalue":{"value":{"amount":"+0.7455153465270996","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":"Q2176678$95AAF3DC-C711-424B-8A58-B494F1EA6B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15529d64dbf61a436024a0579129e429bcf78898","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d790888540f0a132b3241f969e28ddea917d04e","datavalue":{"value":{"amount":"+0.7420012354850769","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":"Q2176678$01AE6C13-545A-4F84-9598-545EE0E0AC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fa3d3d0eea70a1a135949962f4363d5f425c8a","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c405cd6ecd704fdc44bf9df95c298362503244","datavalue":{"value":{"amount":"+0.7404748201370239","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":"Q2176678$6301704F-E37E-4D20-B4D8-A31C0D6C1E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2176678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2176678"}}}}}