{"entities":{"Q5327344":{"pageid":7356918,"ns":120,"title":"Item:Q5327344","lastrevid":58520073,"modified":"2026-04-05T14:03:58Z","type":"item","id":"Q5327344","labels":{"en":{"language":"en","value":"Kleene algebra with tests and Coq tools for while programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196164"}},"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":"Q5327344$55611FE0-084C-4CD3-BDDD-286B16540304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dd62f81a5788741c6bf07f2720bad323344d4a7","datavalue":{"value":{"text":"Kleene Algebra with Tests and Coq Tools for while Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327344$F0518860-17B1-447B-8904-B53AB726A4DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76a9d742ba76f1c8bb160a8df2e7f1b9dac52017","datavalue":{"value":"1317.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$FF531A85-B9DC-4143-9AC1-5FA0F09DC0D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4905a4255d16ba99673f81643ca1a77013c2819","datavalue":{"value":"10.1007/978-3-642-39634-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$F8BEDFB6-3835-4D8B-BC03-A7F004C88222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327344$59220C5F-C5BC-43B9-8FC9-124D40A7F381","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327344$CF2B13D7-991D-4FE1-B81C-EAA4C62F49D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327344$7C5CCF2F-BE7C-4D00-81AF-7A889DF46EDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc47c834ee97b34c18f7acbac730bddeb1a36b17","datavalue":{"value":"https://arxiv.org/abs/1302.1737","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327344$B602CB41-FE76-421C-B060-D64F81BE5085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$E7A02995-43E1-44F0-8581-B7CF1B56AD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$37B253F9-7BD9-4458-898E-FBF2536176AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$1A92B5BB-99D1-476C-A29A-E5D4390A7788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$9805FB9E-9BF2-4226-B366-AE1FEF2CFAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$4DA8A7C8-F2AE-4133-BF85-CDB67DB5A428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffaf516f5591bcff560a7adb566803419b52b9c0","datavalue":{"value":"6196164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$29742F8F-A31B-4742-9B6B-3262E1C9FFEC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327344$CF972EFB-65F1-44D7-9939-A146B3676B66","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":"Q5327344$109A2DE4-62F5-4D98-98E7-FEDB8848F3AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8e068833ad3958a3f2bdbe67625fda787700b11","datavalue":{"value":"W1646862118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327344$A7810629-2496-482C-AF50-A01FD5A8DECD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9fa717f795626b9d9a2a393dcd6c5f8a2208ee","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd5501f829b92384a8da97137bb6f2c6d991deb","datavalue":{"value":{"amount":"+0.8241574168205261","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":"Q5327344$68CC7138-BFA7-4E1D-BCBB-0D83275C8CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793d268335cb0310030c003f9a67cbb04ebc75e9","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f3624dc15407e6185fd5673d689d64fa771965","datavalue":{"value":{"amount":"+0.809662938117981","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":"Q5327344$9D423CFB-7BC1-49A9-A198-CB172C856405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e0df5849c54cff78ec43330cb07886f685ba62","datavalue":{"value":{"amount":"+0.8083186745643616","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":"Q5327344$FE97C820-B620-43AA-822A-9519B9EAA94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc016b7298878588d1f94d4e49e601aa887d374","datavalue":{"value":{"amount":"+0.8060063123703003","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":"Q5327344$152F823B-ABF6-4670-B147-53A3807874AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769c1faf498cb7fd0e540c096f14347826d1928e","datavalue":{"value":{"amount":"+0.80268394947052","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":"Q5327344$C17416A2-3D93-4B6B-838F-A1C474EB37B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327344"}}}}}