{"entities":{"Q870283":{"pageid":872131,"ns":120,"title":"Item:Q870283","lastrevid":42737272,"modified":"2025-07-09T17:17:11Z","type":"item","id":"Q870283","labels":{"en":{"language":"en","value":"Kleene getting lazy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5133003"}},"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":"Q870283$EADAB425-8EB4-4790-8305-6145861D1AD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87a18c70d822153ca003a581bcfeafe10ff1cdfd","datavalue":{"value":{"text":"Kleene getting lazy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q870283$AC784A8A-3BE2-4301-9897-85FF49840145","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed33c32e3e02eef600f41c4cc3a4854b8393d86","datavalue":{"value":"1109.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870283$DDE05403-2FB6-4204-9DA8-4C3223229D3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870283$FD3A9AEC-6ED3-4EC0-B6A0-A9A76BEF1A96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870283$3078C6CA-8B49-456D-94BE-0C7795E9B806","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-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":"Q870283$1BEF7928-444E-44D7-AA5E-6E8445E4973C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d084c7f44348f84c547780d35511c34d9f8258e1","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/files/39117/39117.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q870283$2248B7B7-C41B-4325-BC93-E058E5114305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870283$16888E73-CD78-4FC4-9A9D-4F12FD414B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f9f2f65d05ba1f8eb2335932cf2b9931ab06b04","datavalue":{"value":"5133003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870283$E90790C5-0856-4BC0-8348-A4E74FF74732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q870283$8D3A3751-F96D-4DCE-89CE-B1854777BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q870283$CA6467FA-F511-4F05-81B6-97F878597095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q870283$FF5B052D-EEE1-4FD7-846F-E9A42F7AC745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1737e5aeeae782ad602d2b1f424bfecdc6716c3","datavalue":{"value":"omega algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q870283$C0367FDB-ED62-42BA-BADF-1E09E2A419B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q870283$3B426C3D-4F46-4D9B-A5C1-1CFD16C85C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q870283$AD59BF10-7EA4-46F6-B5F6-88A08AAAA9B1","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":"Q870283$BFB2D7C7-F526-4D19-B442-B0A3788A957C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3fc3d28cd6c0bae7209ca6690d9105a6371f424","datavalue":{"value":"W2085133105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870283$42327677-D3EB-40DB-8FEA-888C68F8BB0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6092a50061c8da70188359a5338751da6fbc6bf0","datavalue":{"value":"10.1016/J.SCICO.2006.01.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870283$9CB504E2-2EE3-4772-A19F-2FF4033CCE70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6f4b10ab496241c30e2e73d2872821fc90a328","datavalue":{"value":{"entity-type":"item","numeric-id":5313089,"id":"Q5313089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2600e62e2ceb75125094fa3f2fc493f22630336","datavalue":{"value":{"amount":"+0.8263866","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":"Q870283$CC0E4063-559C-44CA-B7EB-39DB4EA6D72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97e220f900f9fc0eaf581faa89b304b70876151","datavalue":{"value":{"entity-type":"item","numeric-id":4395684,"id":"Q4395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b15a173a24d2767f1ba6d2fc9c1de10bd10f173","datavalue":{"value":{"amount":"+0.7935942","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":"Q870283$88E60929-7367-494F-AB78-388740B764D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4601e9882c83e6b09263a45711f57005e9c816","datavalue":{"value":{"entity-type":"item","numeric-id":2766772,"id":"Q2766772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cab1e15ed943c00c14157c26fabfd182958d6f","datavalue":{"value":{"amount":"+0.7860343","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":"Q870283$D9C79645-94C0-4D5B-B4B4-0E49DCEE8F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a667587ef394fbd0144878e4e3113afbf2a09507","datavalue":{"value":{"entity-type":"item","numeric-id":5466582,"id":"Q5466582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610ba6041025c99e69fe5b104804f91097224e02","datavalue":{"value":{"amount":"+0.7798752","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":"Q870283$CA1D6C5C-E4DE-4265-A5BD-2A53B7E98752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851a207afdb0ef843821c13696ce49eaa19cb0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2873681,"id":"Q2873681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bc8b7af049f3245ef11425340c8b7ae287af37","datavalue":{"value":{"amount":"+0.77764285","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":"Q870283$4D3A3BE5-1128-465C-9833-73DC7D4050CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935e7700a67d5f3d22b458f8072c5f65a5b47729","datavalue":{"value":{"amount":"+0.774449","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":"Q870283$7E3164C3-6839-497E-B5BF-A4621A491B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe769a8cf37f421c390d6993c71dc5b6dc55800f","datavalue":{"value":{"entity-type":"item","numeric-id":2464718,"id":"Q2464718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a86f93b64ad46cc11026dfacb0f29166093d60f","datavalue":{"value":{"amount":"+0.77262807","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":"Q870283$0C1699E2-250B-4441-B2C2-CE2C56C331E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d445f1d1ac4aa841704a1b504eec5651353ae846","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b5a2629fb1b1343c20676fdeb8698c8bc80000","datavalue":{"value":{"amount":"+0.7715526","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":"Q870283$32F4B47F-EED6-440F-BEDF-C0FE171BE274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf3824886570dc01d42f52eac80351c401019a7","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f49db195083fd7608173d61aa3b9b2c18d8439","datavalue":{"value":{"amount":"+0.77079487","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":"Q870283$EE2A5038-8086-4DCA-AACE-F4FAF42AE675","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:870283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:870283"}}}}}