{"entities":{"Q4621165":{"pageid":6650748,"ns":120,"title":"Item:Q4621165","lastrevid":40879364,"modified":"2025-04-13T17:04:53Z","type":"item","id":"Q4621165","labels":{"en":{"language":"en","value":"Position Automata for Kleene Algebra with Tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020163"}},"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":"Q4621165$5372BD30-2D88-4CB8-B989-B518BE9DDBF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f4bc14bea0e78f3c938f313410b8622e0183d1e","datavalue":{"value":{"text":"Position Automata for Kleene Algebra with Tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621165$891BD415-9C18-47EC-9AA5-2E587A963EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0042bfb952bc173932b3c94b80610d822c8e069","datavalue":{"value":"1424.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621165$F95A0073-B000-490E-9FAD-65D73EB846E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c515dfadd87fe251d3c9a772c08df86600a25d49","datavalue":{"value":"10.7561/SACS.2012.2.367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621165$32EC85EE-53AD-4187-AF1B-F6D6BEAF4E24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621165$E2616790-A253-4252-B45A-149A5A7BB78D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621165$9889AC94-7133-49CF-8047-F8D6665225FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621165$A093EB04-109C-4F9E-BDCC-780B1E8EC8CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621165$A58284E4-D3EB-401D-A167-31A1CFB894B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621165$DB481F91-8480-41FF-8852-3775791F055B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"031ad7472d291e538de86126152438afb9eb2697","datavalue":{"value":"7020163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621165$F7638376-6549-47CF-A5BC-EEF6E07A845D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb9374220a1a60705132f01f6fe37848bb73f80","datavalue":{"value":"position automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621165$3D34845A-A9DB-4E02-A919-76869792452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621165$B0D43805-CC71-4F4D-81B3-27E8EFC7B977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621165$2C466D66-E57B-4DC2-8131-AE994B9DCB0D","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":"Q4621165$5B0CB951-C1CF-4A89-8EC4-B152EE02E085","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbda0a55f39f6e070705d1ddb402c60c4c09636","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c4c2abfe5166564d92b47ee4e18b3804a0bbd9","datavalue":{"value":{"amount":"+0.90351087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$AFE67725-F359-4692-93CF-6476EA641F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8dee105db8c8231ccba17e0125b02b2f48ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5756670,"id":"Q5756670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4233969d6d9b5b39c0e3439093123da534512584","datavalue":{"value":{"amount":"+0.89948463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$92FCE703-B86E-467B-957E-51489600486D","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":"8af69d65fd65414855f3b360aa4398528f994f89","datavalue":{"value":{"amount":"+0.89933985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$B036DF16-49B0-4CAE-B260-9374F1F759F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11a88c0310af41e269fc5a92388816f27dffc4","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411076a5ce7da7d0e3bc602a0e1bf4f4ff89b79c","datavalue":{"value":{"amount":"+0.88073283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$0F53451D-AABF-4F0C-88D9-403CA4481BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad097b745db1e4b5de1322f94b94932fd966945d","datavalue":{"value":{"entity-type":"item","numeric-id":5459173,"id":"Q5459173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403a88c74b37a9620201b5f9b18dae6b43e602fa","datavalue":{"value":{"amount":"+0.8798984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$AD92A8C6-6F6A-422B-96AC-963964B2BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3972056e7d9d2e5e722189f37dadd59c300904","datavalue":{"value":{"entity-type":"item","numeric-id":5313104,"id":"Q5313104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5aa911d9c90b498a4902ea5e668bfb451c635f","datavalue":{"value":{"amount":"+0.87687045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$B2C07EBC-6663-4C75-93F5-8A5EE01F1B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68af87d76112d1eeab2cfa31410eb2dbe30e15f9","datavalue":{"value":{"entity-type":"item","numeric-id":2843723,"id":"Q2843723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fa89a9f958ff944de76204f3ebde3f0885084c","datavalue":{"value":{"amount":"+0.87430865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$FA180C69-7011-4619-BB99-2740B728121E","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":"46fa89a9f958ff944de76204f3ebde3f0885084c","datavalue":{"value":{"amount":"+0.87430865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$2AE8BD48-8F38-4BB0-A0A8-27884457129F","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":"dae61b569baf23c0edeb6eb614bbc6b72025fe6a","datavalue":{"value":{"amount":"+0.8688735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$3A8142BD-2EFF-4E73-801A-14A03925AFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e671bdee18c460f3ff2ad0dd6a16c94b508660a","datavalue":{"value":{"entity-type":"item","numeric-id":2819822,"id":"Q2819822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e707d60f1e94cb4d5e588f17062f8d68d7cd0737","datavalue":{"value":{"amount":"+0.8658995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621165$45D19EAE-89D3-4894-99C3-002CD310A112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621165"}}}}}