{"entities":{"Q4608581":{"pageid":6638164,"ns":120,"title":"Item:Q4608581","lastrevid":53047280,"modified":"2026-01-24T03:00:51Z","type":"item","id":"Q4608581","labels":{"en":{"language":"en","value":"A formal exploration of nominal Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851855"}},"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":"Q4608581$30597FE3-571A-4630-B7A4-EB8B5F53290E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30444d2a30416c182446b3541b32cf9f8a72282c","datavalue":{"value":"1398.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$5375800F-143A-4B8A-AA36-E21E5AEA00AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608581$A6B19C19-7013-4465-87AB-0CB45EDBA837","rank":"normal"},{"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":"Q4608581$C0A64B0E-5AC6-4F43-8C1E-319302631743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608581$687793A6-4548-4848-8C34-F734BF39E79A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$AA88192C-2198-4A06-B617-DD31BCBB3437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$6F3F1E8E-6068-477C-949A-A0911279C164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$D7B285E3-A676-4D49-8EA8-3C7E3578D576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$FC421C66-9696-4AF8-B90A-B91BC513CC94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b893e280f73dc497cdba9637c1dba00671963765","datavalue":{"value":"6851855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$1F3B185E-3F3E-476A-817D-15995C7BC235","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608581$8A70BFD9-90E9-4505-8538-927CD5060795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608581$6AC0A05A-5467-49DE-A261-4B6EF2A7C163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608581$9C34097D-248A-4F81-A812-B5C2D3AE484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608581$3B0B3C95-6D0E-400F-A3A3-5D66A85B1497","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":"Q4608581$6C21EF13-1D51-48DD-B9CE-47DF2FF10DC3","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":"Q4608581$AC688221-9A40-49BB-8ECC-B90C13AC45FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f21fa66dea8b7ab6c5a5af8eb627042351a7586","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608581$56262A3C-5EDA-4E67-80B1-7742EEC070F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4853f164b553f98159f4e07cfdd909d2f626e73c","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee77462b3618d5f4b80adc84060eff2209d650d9","datavalue":{"value":{"amount":"+0.8220811486244202","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":"Q4608581$FDA392F7-CE7C-4A7E-AF67-9E643D110330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeae1f039e9414abcf563ab9c7c5254fbf9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":3460616,"id":"Q3460616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a452726259b056115930abbe9cc598ce93ed0f9","datavalue":{"value":{"amount":"+0.7936869263648987","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":"Q4608581$08AC3C6B-19D1-4862-A438-77DC2E036F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33ff1c8d707ca026262c0aeca4dbaeffb246b94","datavalue":{"value":{"entity-type":"item","numeric-id":2401017,"id":"Q2401017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd5b0a4c1f798eeb67aba7ee2599b18435eb031","datavalue":{"value":{"amount":"+0.7936866879463196","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":"Q4608581$EB117574-2F34-4E05-8D52-459776CFEF8C","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":"dc7aaa724e04f096d14bbec6b84daff0457b38bc","datavalue":{"value":{"amount":"+0.7433212399482727","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":"Q4608581$A9B29BE6-8B81-4FAB-A2DA-23E784EC0315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9de6c61eb2680b481a8fdd1b55225f8fd489e22","datavalue":{"value":{"entity-type":"item","numeric-id":703519,"id":"Q703519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d0a3ea9c2409cb234cb0a3a0571dc1dc670f40","datavalue":{"value":{"amount":"+0.743064820766449","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":"Q4608581$35C06280-1ECF-40CF-8FF4-A0AAF528F464","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608581"}}}}}