{"entities":{"Q6635510":{"pageid":14246662,"ns":120,"title":"Item:Q6635510","lastrevid":56084907,"modified":"2026-03-12T13:41:07Z","type":"item","id":"Q6635510","labels":{"en":{"language":"en","value":"Completeness theorems for Kleene algebra with tests and top"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941271"}},"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":"Q6635510$FEFABAC8-A4C6-463C-9FAA-912EC3DD3CFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d6a2f1303260c2b360cc714dce9ee6451756411","datavalue":{"value":{"text":"Completeness theorems for Kleene algebra with tests and top","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6635510$856C6D36-27F7-4E01-A304-2370639D024B","rank":"normal"}],"P16":[{"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":"Q6635510$4021B4D8-D3AE-43E5-9628-37538A671255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$865D0CBE-B2D5-46CC-81E8-55AB1F993B64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$76447A84-DF17-4EB3-99C4-E6F6471DEAC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6635510$3BE76036-A18B-443C-A857-0342286FFA69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635510$8DEEB967-A9DE-4BD2-ABE2-475A14D852C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635510$48621379-D4D4-4E7B-9B17-600A2312D401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a948013b288859c04fa69b5a16294c521561619","datavalue":{"value":"7941271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635510$3F2AE7E5-0875-4458-880C-73640264BD2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635510$105E612D-BF45-45C4-92FD-727D668CEEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7aeddb76e99d792c39ddbce23ae7f5a41f2baa4","datavalue":{"value":"closed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635510$1B849EC6-2028-4F17-A8E0-0E27F5448ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635510$BB3F52AF-D797-4529-B688-C7DC462782AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe3bb15ee2cd5e6f33c6a617dc37be85bbc5e0e","datavalue":{"value":"guarded strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635510$35F0F1DB-B9B1-44D3-8F4D-2E88E4DFDCD1","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":"Q6635510$BA2F9C51-37D5-4796-8FB0-E2044A0E88BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4fd1f08969b87f833c028e2c931fbffa4b757","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$7AFFED47-B4A0-40E3-9EB0-29A25F05856B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$BD3C982E-2F90-4AFB-8935-1F7882481DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a4f6072e925fb869a77af60d6d91dffdbacc31","datavalue":{"value":{"entity-type":"item","numeric-id":647324,"id":"Q647324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$79308A54-946D-4FAE-946D-5D4AB07138FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448dbc6aaaeebf39275bdc6bb66393cad39f4944","datavalue":{"value":{"entity-type":"item","numeric-id":655418,"id":"Q655418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$5EB17839-89EE-45C6-B86B-D2542139A50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$0669A38F-860A-4231-B68F-D7803CF728BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc31b36bf04eab4376f85e6408499afe556bd69","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$C12D99C4-8ED9-4582-A386-033277C4F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$9E5A91E7-3EA0-4CDB-8E86-2C102A9AAE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$E8429DDE-7AF5-4F34-8503-7910A3A17C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974ecd8f41629729af8d58aa2a6d8cff75f6bcba","datavalue":{"value":{"entity-type":"item","numeric-id":4635792,"id":"Q4635792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$C0060551-EB43-489C-90E6-56E5BF1CEDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89324dee1d1a07397313c63c5763b8d27738c720","datavalue":{"value":{"entity-type":"item","numeric-id":299194,"id":"Q299194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$1FD6EF43-E928-43E1-80BD-7173264746AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$0D11AE84-D14A-4279-B934-C97D75567CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b371b6643dcd783cb1ccf170d2f8367db4f0491","datavalue":{"value":{"entity-type":"item","numeric-id":5222960,"id":"Q5222960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$BB5C037D-A5B0-4A97-92D3-247109E995CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6abd173db405d6471938fbd375158ea21bafe9","datavalue":{"value":{"entity-type":"item","numeric-id":2289074,"id":"Q2289074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$08E76524-92CE-49F1-9B07-1820AC99CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31387b03abe228a3134d609ba9969ab563ee927f","datavalue":{"value":{"entity-type":"item","numeric-id":5009432,"id":"Q5009432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$EAF630B1-7E6C-422E-9BB5-B2F9C1B9F51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f2c5bd3751a51585b1dbbe011b98a4eafbff4f","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$804CE696-BF4F-4682-ABB5-D1DAD6065AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$F3D5DA46-1594-4F80-AAF8-03413BBEC3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$1C5967BD-50A8-4D6F-A92D-4DA84B1F3B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$EB3F8021-F38D-4098-833C-290BAF370566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35362ba3b6099772c8a3da858a8bba1efb800751","datavalue":{"value":{"entity-type":"item","numeric-id":2200836,"id":"Q2200836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$605EAED4-2616-4D93-86E2-1EE2D6EDF681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$6EC70BC6-770F-4A18-8C31-A12ECDE5863E","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":"Q6635510$13322606-2165-4777-95A9-670C3C5ECAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85cff97b743eed51348faa7bea6635c3b0868b2","datavalue":{"value":{"entity-type":"item","numeric-id":3299849,"id":"Q3299849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$07FE514E-1975-4E61-B9DB-56435CAA25F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$FAC73386-907C-45C6-AA19-234C1A393F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$49C35031-D4A5-43C3-8E3B-F6AD04C8AC88","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":"Q6635510$38EF3E75-A6C2-4F04-9F99-544041D1C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dd8fdb1409a539de2315c652d185143940d35a","datavalue":{"value":{"entity-type":"item","numeric-id":2915142,"id":"Q2915142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$211CFB5B-874F-48E4-AA50-5DDC76AA9593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b96dbe2bf4fe29c861a756c12d08574ef5b423","datavalue":{"value":{"entity-type":"item","numeric-id":2988362,"id":"Q2988362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$84F09190-3789-40AC-AF60-FAE54ADFBC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b37b630ac928c28c7f18866045ae62768929a6","datavalue":{"value":{"entity-type":"item","numeric-id":5144679,"id":"Q5144679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$D6255281-E604-4C29-B815-8AF65272D5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$A9F180EF-3CB9-4B4B-9164-7B428508F938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89c795b54916c8315e62c08c1448be5108b0ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3304097,"id":"Q3304097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$24C62CC4-BACA-4570-B215-F2FE57DF5154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529c2a0b4dbbe96b3864eb81d73b0b34227e7c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2695367,"id":"Q2695367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$136F5749-289F-4D59-BCA1-1CCFDD7BF65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2147224004eb884894bffc39abfd8a746dc2586","datavalue":{"value":{"entity-type":"item","numeric-id":6563055,"id":"Q6563055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$DDD73DA8-9204-4137-8519-899A7B127EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230d3c554d64e23e301deac41e741a2bd221371d","datavalue":{"value":{"entity-type":"item","numeric-id":6587134,"id":"Q6587134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$491A0F8E-0F0B-42D7-AB0D-EE8E7C16DDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e41e727256a841004087d7e7c7c1a89c7aa839","datavalue":{"value":{"entity-type":"item","numeric-id":5596827,"id":"Q5596827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$A9FD607F-3848-435D-AF87-A128D21B6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$26C15FB9-852A-405A-973D-EB89F7157CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$2EEA4D3B-707B-4775-9D22-1DA6A456876D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$A1912B8B-C10F-4844-B18C-AAF1903A0BA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5efc7ad95a87b671e41e069055f08631f724c2f","datavalue":{"value":"10.46298/LMCS-20(3:27)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635510$9DA53C63-EEF7-441B-B4A3-A9056DF7C9CD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635510$2FB969C9-C6FC-42D9-BBD7-A8D5E18A1A81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6635510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6635510"}}}}}