{"entities":{"Q6875019":{"pageid":20746690,"ns":120,"title":"Item:Q6875019","lastrevid":84225104,"modified":"2026-05-13T19:53:59Z","type":"item","id":"Q6875019","labels":{"en":{"language":"en","value":"Domain reasoning in TopKAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8144619"}},"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":"Q6875019$E6FE65FB-9A63-45C6-832F-8C90106396A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c51223fc935cf719d1e1becdbe5271f77ce530","datavalue":{"value":{"text":"Domain reasoning in TopKAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6875019$561E80FC-1598-4E16-94B7-C5F8251A01C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06f535b3f86686bc2085222e251fcd96b40f5f1f","datavalue":{"value":"10.4230/LIPICS.ICALP.2024.157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875019$762A8C1E-58CF-4C14-A28C-2FCA8794CE4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3288c342aed699b29d1aafbc39427c14ea53c22d","datavalue":{"value":{"entity-type":"item","numeric-id":6739242,"id":"Q6739242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$7E684935-64D3-409A-BF57-BAEDF2BE6843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76c309f0296102e228270101bd2e54322d0c8eca","datavalue":{"value":{"entity-type":"item","numeric-id":1744370,"id":"Q1744370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$9B3C5403-C967-4EF8-8D64-CC06A0893F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$133895D7-07C1-4AA9-BC3E-3DC34C72AA30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b40aa8e8f7aa0bc84afc51f131ebe74b5bd0afe1","datavalue":{"value":{"time":"+2026-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6875019$2358BCDE-A286-4F2E-97D7-34CA4BE617CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875019$18368BB7-875F-4A53-A218-174B7AC35DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875019$18B68AAB-3A97-48F8-AFBE-6D8A3F6AE39F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aabaac579898cdd9b16d5f8b20b0b428976d3489","datavalue":{"value":"8144619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875019$5771CC95-A2BC-4386-BD34-2D8B319DD3FC","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":"Q6875019$74B5D6C7-D5B6-49CF-AB34-F375EF41747F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875019$8B2C0B87-1D07-4D46-A699-EED02DF360E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875019$9082DA5F-5F4F-4634-9D35-D3649E31DBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15496944d6b77dbdbba8f5ea5b6ed3d22cf6c0ea","datavalue":{"value":"Kleene algebra with domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875019$54944122-454F-481F-B2AE-AEAA9633B3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1890f9856411deb91c425a5621a40e06df505c03","datavalue":{"value":"Kleene algebra with top and tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875019$84631712-4397-47E5-B31A-5C7C1D09CA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875019$16F185E9-1AD9-447F-B6E2-1F7A521A1A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875019$5158150E-843E-4C9C-A46D-7B751EB81D6C","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":"Q6875019$B78B29CD-422D-4420-A10C-919E79EB18C8","rank":"normal"}],"P223":[{"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":"Q6875019$C4BD79C3-8A62-4CCC-8159-3B09C7D20011","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":"Q6875019$B3A7C979-39D9-4817-91EB-06CACC37585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$5AB0286C-D433-4D98-8DF8-9807E5AE99FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$91088C82-49CE-4352-A981-B8D365B6F036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$628EBD86-2923-4FC9-BF7B-33A782BF4634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$A7B910B3-1ED5-4618-B14B-63AE93342470","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":"Q6875019$5F6B8BF9-3283-47C9-BACB-2553F5781D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae79e9d7b0bb2899bc69e5613204fdb9aab00f63","datavalue":{"value":{"entity-type":"item","numeric-id":5261744,"id":"Q5261744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$205BCBBB-E007-4581-83AD-F9A14CF82786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64aa0ed468fd886cc533069b6de50b53337db881","datavalue":{"value":{"entity-type":"item","numeric-id":299202,"id":"Q299202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$66F067AE-298C-4375-84EE-59098B414A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$B9D72607-83F0-424D-A7F6-8256736B23DC","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":"Q6875019$A6FF44DC-7F82-4116-B9C7-AC82FA613AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff113de308b1c1550c0c295ec2c0108ce1a9d565","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$0046C327-9C27-4D0A-8FDB-D9D024B1C99D","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":"Q6875019$9E45E87B-78D9-4636-BA1A-62C8F845607D","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":"Q6875019$C7E1B9AC-2715-496A-881A-45526F2B0BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e54a01d8a977ffbf68bd945a598c7f0f888b33","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$8D50BBD5-D683-4FE1-ABBB-EE81D6146434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b3d9f352573173030232715e42d8599424d97f","datavalue":{"value":{"entity-type":"item","numeric-id":2286746,"id":"Q2286746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$916C6977-9C1E-4268-961A-5BABE433CC9F","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":"Q6875019$DA57CB0B-7A73-402E-B6DA-157942211557","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":"Q6875019$09CDAF23-C8A8-4182-B1EA-50242D4853E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$704EF21B-DA70-408B-9540-E27737F03EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4550eeffc2b92b2df2a27423ede62913b3368183","datavalue":{"value":{"entity-type":"item","numeric-id":2210872,"id":"Q2210872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$5293AFFD-B18F-48A3-98F9-1EC91D594414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19ae8b9545f5b0c5c014deac7a95bff105833d7","datavalue":{"value":{"entity-type":"item","numeric-id":2695364,"id":"Q2695364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$0E3ED63B-3DB5-46E6-B81D-24D261859700","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":"Q6875019$65A48A87-1405-4B43-8686-89A946441207","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":"Q6875019$76D25E99-1DCB-4561-9FF9-825F95EA6A6B","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":"Q6875019$F8BEF744-86C0-4CAF-852A-5ECBC7F63579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1713746a21acf2d1323fd1403fc527bf6ca8721","datavalue":{"value":{"entity-type":"item","numeric-id":2226739,"id":"Q2226739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$D33B474F-A510-45DC-90E7-37BF49BE6941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3de43fa3bac9cd536a3fdee49679de53a5fc55","datavalue":{"value":{"entity-type":"item","numeric-id":6174424,"id":"Q6174424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$9A7DA02B-F894-456E-A056-582ADB75A707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c2b438ff41595a3ca675f4a06f2dbbf97d0cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2585204,"id":"Q2585204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875019$191AB375-1CDF-45FA-AFA8-083E30F8BED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domain reasoning in TopKAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Domain_reasoning_in_TopKAT"}}}}}