{"entities":{"Q6164436":{"pageid":13299317,"ns":120,"title":"Item:Q6164436","lastrevid":58736088,"modified":"2026-04-06T12:57:55Z","type":"item","id":"Q6164436","labels":{"en":{"language":"en","value":"Local completeness logic on Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719738"}},"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":"Q6164436$B5AACA74-0C39-4C37-84CC-AEFB44CCAC7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6184f1d09b71e7af3ced176e9e1f3f1d081fa8f5","datavalue":{"value":{"text":"Local completeness logic on Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164436$C755F542-4CEB-4FF5-B259-8B47878D9D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e669a0751ebab23bb0f5fbe652795bdc7173dec6","datavalue":{"value":"1524.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164436$5C33B9F5-55A5-47FA-AACE-9207814CFD9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2209b48fd6cba7d2d3822874204db2862fd07953","datavalue":{"value":"10.1007/978-3-031-22308-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164436$ED691A8B-7393-4B57-8B0B-4AF123A5431C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d147901967728e33be3036e7273332c49b7a19","datavalue":{"value":{"entity-type":"item","numeric-id":6164435,"id":"Q6164435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$1AF35687-A3DC-4BA0-8407-A42BF3BAE83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$EBD52D81-AF34-44F3-980D-6B1F6CACF2E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$63F1F886-4EA5-41F4-A625-9514C024A569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164436$F1488745-AF0F-4826-87B8-7F44134DDE3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"217fadd3bfd15d0dfeedbca49e52758653b72591","datavalue":{"value":"https://arxiv.org/abs/2205.08128","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164436$E5CE7E35-BA61-4CC5-B751-7898C30863FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"520c711c94d6bce369a0682e929d9346baff20d5","datavalue":{"value":"http://www.math.unipd.it/~ranzato/papers/sas22.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164436$AC4FAD01-002C-4542-AEA8-60FC0B557544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164436$3E7B6AC8-5F6A-4792-B399-1132FCA04149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164436$021E3088-4A8C-4194-AB31-03E70566B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164436$43369769-0F88-41C6-8FF2-128BDF4291B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dcd59ead101968dea3772bf270ef0e9bfdd5dc3","datavalue":{"value":"7719738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164436$8EBF6284-A192-460B-8103-5A8E0A04AA71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8d89685864ac0a6bce7cb28095da437d5f58af","datavalue":{"value":"local completeness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164436$D0CE2E89-DF9B-4AB5-96DB-D211712543BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef85a4b3eeecf23132b9fdad90c5edce5bf77f0","datavalue":{"value":"incorrectness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164436$70E373F1-A963-4CE9-9745-E3B92268BE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42aa2cec674cded1b40747774941c581bf424e","datavalue":{"value":"complete abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164436$BBF9375D-321C-4585-B8D4-44769F55B23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164436$887AEE6A-BDD0-4152-AA88-B4988F0D6D77","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":"Q6164436$EC236901-EEAC-45D9-A367-6CA071361E47","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":"Q6164436$9ACBACC3-230F-4E88-ADE1-0CDA9555CA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$8BBBAF4B-1802-4733-9739-6816CEB84EEB","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":"Q6164436$00818DA3-AA33-4D9A-AA25-E254CE2B51A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$9FFD8E48-2267-4AC6-BDF7-0353082EF5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3def5ba2812862dfd1b4770373867e61432ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2819821,"id":"Q2819821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$C887685C-554D-472C-9FDA-59A5DBDB3B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$0DE3B459-E34C-413D-85B7-D804580C8B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f101b5f0fc995f830634b7b6cd442baff4f961a","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$7A8BDA94-02BB-47D6-8B2F-ED7A58012BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$9B2B3BF4-A38D-4F2A-9701-EFE4BC5ECA6C","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":"Q6164436$F16E1C7C-871F-4F98-B8DB-CC1611B17D66","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":"Q6164436$A7B4BFAC-01F7-4BE2-B84F-C9CCDB2C7BC9","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":"Q6164436$29732E9D-D106-4DF7-BC86-125AEBCF4312","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":"Q6164436$7F508874-7CAD-48AD-8400-2C7177B393A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$9C6CE061-5B6B-43D6-80A8-2525C771EA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0813bc155e81099525074331ad960241cd5c7c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2117260,"id":"Q2117260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$E055D923-82C9-4A01-815C-B3396BB5DA54","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":"Q6164436$31CB1CE1-D991-4331-8D43-B01A29A1FC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3f6ea60ed5c8d69e797c36908a452fc4bbee3e","datavalue":{"value":{"entity-type":"item","numeric-id":2926636,"id":"Q2926636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$E20FF442-5C1B-4888-B7C0-2ADE48845531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413438a11fa9b0ae60010db95a387e72d3a0bcc3","datavalue":{"value":{"entity-type":"item","numeric-id":2981979,"id":"Q2981979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$112C3F80-9FDD-4680-87EE-57BDDC5DA29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e5e5bed011fc81200bb6eee6f0282c3491aad3","datavalue":{"value":{"entity-type":"item","numeric-id":5370889,"id":"Q5370889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164436$DD190422-A6AF-40DF-99DC-4FDFE8AAD3BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417799e1e96076990dbffc77b25af1d826aded08","datavalue":{"value":{"amount":"+0.7840004563331604","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":"Q6164436$FF8C180A-D36C-41A8-BFBD-1B3AA06DFD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928d44ecc2fee1f6858fe4e4bd9f1950f437c09","datavalue":{"value":{"entity-type":"item","numeric-id":4986510,"id":"Q4986510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd108a460c8798db26dddea05679967546bbb95","datavalue":{"value":{"amount":"+0.7515880465507507","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":"Q6164436$6A80357B-F1EC-4EA2-BBA4-4FA9A7B1A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbc8255df9fdd4870a8c1529af459203f9ec7af","datavalue":{"value":{"entity-type":"item","numeric-id":6535224,"id":"Q6535224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe020459f275da60908bbb032e6faa1c318ea683","datavalue":{"value":{"amount":"+0.7469404935836792","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":"Q6164436$2D5DDC76-8FDB-457B-AC2A-A0BF87D86240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15529d64dbf61a436024a0579129e429bcf78898","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8f128489dbb94f20e1a2f80b13ad0f376a653d","datavalue":{"value":{"amount":"+0.7430782318115234","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":"Q6164436$23093378-11C3-4F39-838B-9D825A0EFB26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164436"}}}}}