{"entities":{"Q3498428":{"pageid":5528331,"ns":120,"title":"Item:Q3498428","lastrevid":50357459,"modified":"2026-01-13T21:30:47Z","type":"item","id":"Q3498428","labels":{"en":{"language":"en","value":"Automatic Proof Generation in Kleene Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275644"}},"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":"Q3498428$C0D3C999-6F42-4F16-96BF-DB36C901B5C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4357ac123e0e674a4f44ecedd51e1de4eec42c33","datavalue":{"value":{"text":"Automatic Proof Generation in Kleene Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498428$8B0EE1F6-2E15-4BE1-9390-DF8D0920736A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ab23d736100abfd44a59f4a8e2750516f2d22b6","datavalue":{"value":"1140.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$CB6DE433-3EED-4283-B6B6-4218957DBD69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"338a6d0a05e53d29d981bf0f50ffd78d4025995a","datavalue":{"value":"10.1007/978-3-540-78913-0_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$D32C8D8A-E40C-4A2F-86D2-9FF57A15CCFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8910726455793299703107bf10730f18627a1980","datavalue":{"value":{"entity-type":"item","numeric-id":408528,"id":"Q408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$A7B37C87-3767-40F6-A790-F954BF5FE599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86465ad6756de6194673fccf041df2527a42bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":3498401,"id":"Q3498401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$E3F11B92-26FA-4298-9805-1677D9A42180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498428$A1E5E0DF-92BE-4714-AA9D-0F70A2A99A64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4cad1f5e09fc9f778ea27ce65f1d20fcb4b62d2","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.6489","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498428$A747CF8C-0F75-4BFA-92E1-359722929498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$8C50131A-3E24-441E-9DB5-B7F16DD2590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$6795E3DB-76CF-4FB6-8647-FF97895CC5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$8E89D818-D32B-4CD9-BF94-8F8F3DBC5DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c62ca1a74c85be2b571342e594ae1602dc38cd9","datavalue":{"value":"5275644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$8F1CACBF-E60B-4A0A-B465-B33149B40572","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":"Q3498428$D31390DC-AF8A-41CF-8855-101D08ED7C3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce94cc4d4a3f9dff924be34ab5edb888836b45a2","datavalue":{"value":"W1566154337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498428$075AE885-719E-4125-A940-8D0875807B38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5cb8c322dc26c8e810c631aea33811fcdcdb8c","datavalue":{"value":{"entity-type":"item","numeric-id":5465438,"id":"Q5465438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$DE55C6FE-2F7B-4E21-B0DA-B3D92BB8689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$97762BF0-9890-46AA-B739-239D580B1FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$D68D67B7-B523-4E5D-BA55-12FB0DBB3945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$024CB366-BBCF-4299-858D-E57BE2935289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$E7A72096-66CA-494B-9D90-D4AE8DCB366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498428$A47138FA-868E-478B-AFAD-AAD9CEC70D12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dcb727e058c5767fb191be73612ef788c9c404","datavalue":{"value":{"entity-type":"item","numeric-id":3007582,"id":"Q3007582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4008c70e91010bf45394abe5bf1c7314717981fc","datavalue":{"value":{"amount":"+0.8148140907287598","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":"Q3498428$6E63347B-8B0B-4DD3-82E1-3F24B980174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2337f63657bead5b56d0f24eceaf33426fdbcf75","datavalue":{"value":{"entity-type":"item","numeric-id":3299849,"id":"Q3299849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9b1ec56f427249eb84f2281a384975f13439d6","datavalue":{"value":{"amount":"+0.7850690484046936","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":"Q3498428$6511C662-D61C-419C-9546-58770A45EBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07feede7c37e28000329043b5a16eeee818389d","datavalue":{"value":{"entity-type":"item","numeric-id":5410480,"id":"Q5410480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fd4907c572433e41a7fab3122dc8894f144131","datavalue":{"value":{"amount":"+0.7783950567245483","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":"Q3498428$5FBB7032-1DA2-41E1-93A0-0DAEDF177A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32b7ecac9121fd1f3086abef4e87b9f022bc8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2eae60a41c246337703c382b376fbd0cc2e1e1","datavalue":{"value":{"amount":"+0.7769709229469299","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":"Q3498428$F3ADB44A-3FB2-4B33-80AE-A564867155B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4b44129537312ced675249748014f709a07c52","datavalue":{"value":{"entity-type":"item","numeric-id":2762494,"id":"Q2762494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb0c3d5939030cb8acfd14a6324796726761ded","datavalue":{"value":{"amount":"+0.773666262626648","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":"Q3498428$84FC2D0E-4C77-4A09-A8D3-DACD853F45C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498428"}}}}}