{"entities":{"Q5712433":{"pageid":7741987,"ns":120,"title":"Item:Q5712433","lastrevid":92836976,"modified":"2026-06-05T02:52:39Z","type":"item","id":"Q5712433","labels":{"en":{"language":"en","value":"Relational and Kleene-Algebraic Methods in Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240530"}},"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":"Q5712433$CCDD585E-1ECB-4B6B-BB0F-8AE4618D8260","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bee0f9715a73c43a88a3e5eac02007a7ed1b81d1","datavalue":{"value":{"text":"Relational and Kleene-Algebraic Methods in Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712433$086EFD36-7E6F-46E3-8418-A67E4D71CB55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e25aed6c24af2df2e7642484414c1f3ee775bbd","datavalue":{"value":"1088.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712433$0C468CEA-B54A-479B-8E1D-3CC56F058434","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712433$66BE20B0-5A58-40D8-8568-F9A12FF77456","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":"Q5712433$1B59B494-D0CC-48D5-8368-090180501A95","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":"Q5712433$63DDA158-2FFC-44EA-854E-DAACEB25624B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5712433$FD3B00E8-4181-462A-AD9F-6B7DE91E6560","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712433$7A3A8BDB-ED10-4B19-B526-23F4C9BEF57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712433$CCFB5614-7B7A-4E18-BFCE-8EA9224BB8C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd26f5f753bb4b2bb5ef6745ed1ea7e834c5ccc9","datavalue":{"value":"2240530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712433$B433DF92-FFDA-4F69-A7DA-CCA8E0B0005A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7f31d19155262509550c308f7dc5895b737514","datavalue":{"value":"Idempotent semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$76E7171A-A6CC-4D1D-AAE1-84F473E1C266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$7E5EB34E-E5E6-4082-85D2-88488BD5B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f34ef52508016d4f5681f181c82287bfe02c463","datavalue":{"value":"image and preimage operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$77F3E2A0-A7C4-4316-89A5-F3D7DF2B81AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$A2329B45-0150-425E-BCA1-94B8662B578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$F12C1836-6D26-4B95-815D-811A5CA88D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5d52478732dbb705da089500c10313830889e59","datavalue":{"value":"Geach formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$1DB6F04E-CA7A-4896-BD99-099994CA35E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8442e44c197c3116a3805a9a89e00f3ba2ecfd","datavalue":{"value":"program development and analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712433$559FD007-9727-4DA6-95C5-10C44A04A707","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":"Q5712433$8CA36EBE-862B-4335-AC62-65985D04050C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70b111118cfdf4c299bfb965398914a4cc43ab75","datavalue":{"value":"https://doi.org/10.1007/b98117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712433$3D8AC334-7B3A-4C37-A051-DB26B3D607F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2cac9573bcd58d3b1a484c6cafb6fd10df57574","datavalue":{"value":"W2476951070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712433$2F98617D-C3F9-4B50-B78A-3DA6063D9DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cade917550b43bc716fcc3921ded66149ce8450a","datavalue":{"value":"10.1007/B98117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712433$F8649570-9A66-49F3-BC69-3A35B3B3CBBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da60b29e04e6ac8d2ab0300c84bf164060040650","datavalue":{"value":{"entity-type":"item","numeric-id":2374306,"id":"Q2374306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf541b02c60c2265eca81f5be30311fc4ad28ca","datavalue":{"value":{"amount":"+0.7353805899620056","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":"Q5712433$037D838B-CFBE-4E1F-9F14-F7641CFA8B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6f4b10ab496241c30e2e73d2872821fc90a328","datavalue":{"value":{"entity-type":"item","numeric-id":5313089,"id":"Q5313089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a258c5381c00e31f422f341c0bfa1ede59e925","datavalue":{"value":{"amount":"+0.730553925037384","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":"Q5712433$7E98C612-5FB2-49FF-85A4-F7775A903357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a57657f66d1f9b9f24efdb74b7bfaae695967f","datavalue":{"value":{"entity-type":"item","numeric-id":5312995,"id":"Q5312995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627d1566dd8a6cae12bbacfaf7713230285ecdcf","datavalue":{"value":{"amount":"+0.7284221053123474","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":"Q5712433$82A9BB54-C4D4-4D46-B4E6-64F28E1A4435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795d655dee71c3122fa8ca5ec82f8ea5c6a19008","datavalue":{"value":{"entity-type":"item","numeric-id":3585060,"id":"Q3585060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d72d3154c849a48c4a8d8ba7be88a44a68c2c68","datavalue":{"value":{"amount":"+0.7280751466751099","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":"Q5712433$A265E8D5-0CEA-4B54-8699-3B7CE29C39FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42a66580a3723f124c4affe641bcff60cd40712","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d783a10be59d7bb89b7b9b9352948f6be1b49776","datavalue":{"value":{"amount":"+0.7248925566673279","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":"Q5712433$5CAC757C-D4C5-400F-ADF5-D36C38A24123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational and Kleene-Algebraic Methods in Computer Science (scientific article; zbMATH DE number 2240530)","badges":[]}}}}}