{"entities":{"Q3608779":{"pageid":5638685,"ns":120,"title":"Item:Q3608779","lastrevid":50592131,"modified":"2026-01-14T12:18:27Z","type":"item","id":"Q3608779","labels":{"en":{"language":"en","value":"Automated Reasoning in Kleene Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523779"}},"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":"Q3608779$684B2C52-74F7-4E0E-BF6C-2B176014B849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcb4aaf805a74b4fa18506edfca1f28d0cce0355","datavalue":{"value":{"text":"Automated Reasoning in Kleene Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608779$8D1F1EA4-1C0F-4B2D-BA96-DA2510053B35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c95a27bf81064cbbea854eb232ff869a6d1dcecf","datavalue":{"value":"1184.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$F2129D91-0496-43BE-B329-D991391F60F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee0a5447bb839b7162adbfdafc8315843d8c4fb","datavalue":{"value":"10.1007/978-3-540-73595-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$9CCA8541-4EF9-46AB-8CBB-8E2A2B05F292","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608779$A114205B-05A4-4880-8769-29662D7D88E8","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":"Q3608779$E220CCFE-7AF8-4F01-BFD5-D1D3F7FF1263","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608779$584B16FC-AD56-4AE9-9AC0-232C6484CE91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608779$D7B77655-0232-4E5E-A3F8-8733627437DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$F8395048-08AB-4216-8B09-90BCBF84C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$B8759967-08CA-4334-9095-9D40E3194721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$A945152D-570F-43CA-90AE-F77431AED68A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94e18ce0d3740bb90db6fcbc2fa476fe43d7bebc","datavalue":{"value":"5523779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$FDF6FA1A-30FC-4E4E-95EB-C1D8556097E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608779$E61184C0-5790-44A6-8BC2-47A6500C6FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608779$62099B5B-AF07-4E47-8BE1-831B88D9C714","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":"Q3608779$6458FDCF-98F7-47A9-9862-35C23146C708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aa700f370a0a1cabfbd21ca685d05e38655c121","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608779$3FA87ECD-B84C-40D5-80E0-AA163788D80C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2af061298539759b4d198a37a5a4e2a983608799","datavalue":{"value":"W1762364904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608779$7199B6D8-6443-4548-82BE-D76631C74FFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6a2ceec96f6e274822692332d8a0cf3e9fdecd","datavalue":{"value":{"entity-type":"item","numeric-id":406433,"id":"Q406433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220d950f16643ca7e0ad09e904408d3bceec8562","datavalue":{"value":{"amount":"+0.7872288227081299","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":"Q3608779$553ECEB9-AD32-4073-A155-85358833C4CC","rank":"normal"},{"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":"b840cbb4e130addfc8ccc8ba9bdb591ca6980e56","datavalue":{"value":{"amount":"+0.7841617465019226","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":"Q3608779$4D05387B-E817-47D4-AA7C-206FC38F9C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46295025e8e83ab0f72b20e1209f6e61a9cc457","datavalue":{"value":{"entity-type":"item","numeric-id":3498414,"id":"Q3498414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14513b71750f5bc12460bfd0062cb748d37bac5","datavalue":{"value":{"amount":"+0.7784385681152344","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":"Q3608779$9F979A1C-BD84-407A-BB1E-2D5A2410F425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7d82ddb91d426a203df41ec9254c6871a08597","datavalue":{"value":{"amount":"+0.7769038081169128","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":"Q3608779$7842D705-53B8-466A-8897-77232D4DE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2651dc685e3510fae612d1697c2cc86fd464987f","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736020f4f926732be9f53dd834c51931d5e79d6a","datavalue":{"value":{"amount":"+0.7725470066070557","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":"Q3608779$F3286DD7-B031-46A7-A5A6-965A61DC1F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608779"}}}}}