{"entities":{"Q5472890":{"pageid":7502449,"ns":120,"title":"Item:Q5472890","lastrevid":49858111,"modified":"2026-01-11T09:10:24Z","type":"item","id":"Q5472890","labels":{"en":{"language":"en","value":"On finite model property of the equational theory of Kleene algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5033851"}},"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":"Q5472890$1FA288E6-D01A-4E57-9613-F23C07FE7522","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4043e9e25b1d2dc08e9e8a5ccc5a3859b1c33250","datavalue":{"value":"1098.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472890$5D6E7423-446A-4ECE-9BE7-A442A796D05E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6ea028776dbd8ea100bd1cc75a7d242bd7d9e9","datavalue":{"value":{"entity-type":"item","numeric-id":935018,"id":"Q935018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5472890$0453673D-28DA-425C-922B-B42D2A00805E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59ff43f5dab5df8752aa6cb52233a22107fdacbd","datavalue":{"value":{"time":"+2006-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5472890$84C9E9F1-C203-4CCD-81EB-3BD896FA0FEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472890$DD488C4C-FEDC-4722-8D13-D651DDF3F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472890$5A9C367F-E66C-458A-B19C-782FA3968E8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b25e117f1b13103d1e233adff6dd60a73c6d8ea","datavalue":{"value":"5033851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5472890$33A68523-77B6-45B6-AA43-9886019605FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1109f8c1fdefe680755b655052173a04f0179feb","datavalue":{"value":"action algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5472890$F70FCA4D-1A91-480C-9E04-0EB30891D95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5472890$F1CE2F4B-809C-4531-8ED9-255CB78B7D1D","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":"Q5472890$5DA70B19-B0B8-4B3F-9893-41FE78A19F00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b562989f15c24c4d4f40d9abd5f9cb2fee4dcfa","datavalue":{"value":{"entity-type":"item","numeric-id":5009432,"id":"Q5009432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0edf3a977380c8a6d45dac95ba58d0047e5c6d8","datavalue":{"value":{"amount":"+0.7989650964736938","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":"Q5472890$F828D40E-F725-47B6-B5F3-676A060D7BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4fe97e33369164d51d49b1247a883ab1bcb7a98","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbb36b102b56a2df597612fa6d0e60cc2f125dc","datavalue":{"value":{"amount":"+0.796267032623291","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":"Q5472890$EF99C045-A38E-421E-A8D3-B6DA25F7F56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce39e8aac244cc9131807d878325c5e2b09df46","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd89fc8a099bf9759a74f050b6f1885c012c1d4","datavalue":{"value":{"amount":"+0.7922857999801636","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":"Q5472890$AD10FBB8-7748-411C-B5AD-4F5882E7C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b5ba9c46396364be97047a0a5e62a912332a32","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0fb52a763fc88ce7f9aa28556ca872591dd5aa","datavalue":{"value":{"amount":"+0.7885943055152893","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":"Q5472890$577AA18F-7FEB-45C4-AF02-0ADADB462499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73694831dfdedc726b1da0e2a3f40f29fb4b339a","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39e24e005ea1f285767e29f1378f0213275298d","datavalue":{"value":{"amount":"+0.7794971466064453","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":"Q5472890$EE9E6D6E-FB37-494D-B906-3D5ACD87E2A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5472890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5472890"}}}}}