{"entities":{"Q2401017":{"pageid":2411760,"ns":120,"title":"Item:Q2401017","lastrevid":52888772,"modified":"2026-01-23T17:50:56Z","type":"item","id":"Q2401017","labels":{"en":{"language":"en","value":"Completeness and incompleteness in nominal Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767308"}},"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":"Q2401017$4CDFD775-CA74-4875-8CCB-0933735273ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b921a9573f87b1e851764f8e372126864e4b1c3","datavalue":{"value":{"text":"Completeness and incompleteness in nominal Kleene algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401017$2167CC35-C8BD-4974-A4B6-5E23C3307314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed9fb58e179e32d41fc3161d8e7217faa802142d","datavalue":{"value":"1372.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$AFF9F45A-0D06-474E-9DFB-4530B190EE3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$5AD3D311-94B8-4F4A-B243-824A01E3B33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1843352b6f444e474b458244b096b619e5cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2044208,"id":"Q2044208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$0CEDF5E0-DA0F-4E07-A57F-DA79E791221F","rank":"normal"},{"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":"Q2401017$B5CDFABC-5524-456B-AD6B-48F98E8F623C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$072F897B-A0B7-4FC5-B06D-BDA7512BE11B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401017$1F22FD20-FEE9-4B54-AF03-7ABAB84AF819","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"380c4ed3ab69a75d7f69f6e1ee0ba1da0a18e224","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.713.9909","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401017$21FF8083-F24E-41E9-8C29-900F3B002691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$D1873044-461D-4CDC-93C2-5A2A8DDB68B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$AE41CB2D-3634-474D-8398-CBDCCAB9DA2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ba91e3cda243cedce255633e8bad6b6f1278aba","datavalue":{"value":"6767308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$5353549D-D92A-4E62-A512-F8C219C06439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401017$F0C39815-56FF-4316-99DA-E01A4A86668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401017$E02D08B8-FBA7-4749-90C8-2DFB25FD3B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401017$41230CFF-69CB-4922-8BFC-DECB7E3D19EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"085edfd27ace1a998f3a7615d8b9a37766c79c30","datavalue":{"value":"Q114851576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$88CA52BF-315F-43F4-BA9F-98D27887689E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fc8489f18347c31920587547c4d24eb008e0c84","datavalue":{"value":{"entity-type":"item","numeric-id":34956,"id":"Q34956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$278185C8-93F6-4579-90E7-83E29AB6C6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f85eab4059b7201ec138aa37f4a8aec1096f859","datavalue":{"value":{"entity-type":"item","numeric-id":33524,"id":"Q33524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$A8E8471E-F292-4A38-9701-25528F666219","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":"Q2401017$DF66265E-D978-4F10-8CD2-C523AE009CCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8cc551711b535ed7e2edb4f2cceaea76748a103","datavalue":{"value":"W2624806594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$70C503D3-E64E-44E8-B7F3-456D996FE965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$1D1E1C94-EA60-481F-AA79-4428910D0990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ce30afe72127c359cea294013065496e27b834","datavalue":{"value":{"entity-type":"item","numeric-id":3000621,"id":"Q3000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$546A28D2-0BC4-4A0A-B500-02B3B313BC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbd4cedfec7c0f2dbd075d5e80961dd0fbd55fd","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$E54B6DF3-6AAA-4E60-81A9-18BDC10A45A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$C21D4EBB-A6C2-4B3F-BE4A-C21617D585C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$BEB61D15-B3FA-4E9B-806B-09129E326D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b55163f3282c67747d676ef9780df45078a008","datavalue":{"value":{"entity-type":"item","numeric-id":5370892,"id":"Q5370892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$A694646C-DDCD-4A01-B942-F250BCAA9F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164253f385b647bc8d8a4e170ef626ca04ed0a2","datavalue":{"value":{"entity-type":"item","numeric-id":5013828,"id":"Q5013828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$61A9EC67-8EA7-4BEF-AE9C-C00181415949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5631c3982a08ee34bcc39902a711e4c9c4efbd","datavalue":{"value":{"entity-type":"item","numeric-id":5370894,"id":"Q5370894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$4E7AD0C6-BF5A-445A-B9D8-14DCC479645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$6520D07E-21B4-4110-BCB9-85D22470A8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$5C1FD33A-42C8-41B3-B26F-8316DD7E610F","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":"Q2401017$1B5BAC67-58C9-4B59-A14C-707C73548189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c6b98388b89d8af66d2f317e11af36012757de","datavalue":{"value":{"entity-type":"item","numeric-id":2819822,"id":"Q2819822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$AE52F485-596C-4921-BB10-FED8BBCDE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3cc80bd4b7ef0c4a03639ab93a1b3440481425","datavalue":{"value":{"entity-type":"item","numeric-id":5410500,"id":"Q5410500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401017$AFCF4407-8B30-4B5B-ADAC-135540BBB92E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e82720a828d85db2eb7708b85e864ba0f11d34","datavalue":{"value":"10.1016/J.JLAMP.2017.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401017$584A5E63-E49C-4A93-A9E4-7DC49D08FBFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeae1f039e9414abcf563ab9c7c5254fbf9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":3460616,"id":"Q3460616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf606727cae4cf60bc315b21b6298c4b298bdb1","datavalue":{"value":{"amount":"+0.9999998211860656","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":"Q2401017$D41DF2B8-B140-4C35-AB4A-E0DBD9BC8389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0444c70afa4f887797d5e63f95c41aca480f7fc","datavalue":{"value":{"entity-type":"item","numeric-id":4608581,"id":"Q4608581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd5b0a4c1f798eeb67aba7ee2599b18435eb031","datavalue":{"value":{"amount":"+0.7936866879463196","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":"Q2401017$D60C4DEF-464F-472A-BDED-6E9F1F1FB10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69924a950fc0563458426994778a5a52e1a7021","datavalue":{"value":{"entity-type":"item","numeric-id":2176687,"id":"Q2176687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6252741c50388cf3ed04a61932bd73551b69c21","datavalue":{"value":{"amount":"+0.769842803478241","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":"Q2401017$686D390E-2400-4D0D-8FED-D2364670FC35","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":"05f92a4fa3f4af689beed6e10e772c0f77dc077b","datavalue":{"value":{"amount":"+0.7578485608100891","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":"Q2401017$525DDB3F-4158-446C-88D4-66D57429654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1e93a54b2f3fccebf4009faae2b8573c236bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5096912,"id":"Q5096912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5214cef3a1315488bed28719d9a69e39b1231498","datavalue":{"value":{"amount":"+0.756489098072052","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":"Q2401017$1EB7136D-A59B-4F21-B091-ED92D8C3DD1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2401017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2401017"}}}}}