{"entities":{"Q5224567":{"pageid":7254136,"ns":120,"title":"Item:Q5224567","lastrevid":91627034,"modified":"2026-06-04T23:39:27Z","type":"item","id":"Q5224567","labels":{"en":{"language":"en","value":"An intuitionistic axiomatization of `eventually'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084833"}},"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":"Q5224567$B780A3CF-9995-4EB9-BCE7-93063EC2B79F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"391a914057840047dbabfc2e82be6fe355c321fc","datavalue":{"value":"1418.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224567$38269C6B-6F78-43AD-B713-A88472B099D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a879a735f8c4c2dc810ae3411a4de0b38daaa8","datavalue":{"value":{"entity-type":"item","numeric-id":2296758,"id":"Q2296758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224567$0DC5DB0F-CE94-46DB-97D3-F51FAAF604FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224567$D25DE9F0-0828-4D98-97C3-D0F9E03551BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224567$3DE26C86-0DF8-4974-80F6-C1CF2EE92774","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1fb00583c415ccdcbef354a7b9d0975012eb37a","datavalue":{"value":"https://arxiv.org/abs/1804.03217","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224567$13C16A40-59EE-4589-A951-03D4C4035F4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224567$3E3FEEDC-C549-46A5-B608-3724C2F3832C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224567$A05F6DF0-B2D6-4A24-83AA-64401A2A7090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224567$666C9A1E-D350-4D8C-AD2F-EA6EF200B4DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c776b2b9649c0a830df7c03e06ee3dcfd1afcbf","datavalue":{"value":"7084833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224567$395984F9-E8E2-43B3-8A59-97673FDB6A46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224567$65E5F27F-A5F0-49EF-8B44-E0CC5E786EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224567$7B01195E-36BD-4FEB-84D7-3248EAAE5BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224567$2AEBCA6A-91A3-4C52-BC1F-BD389687D2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224567$61894EC9-0B75-474D-8BD7-332F37820D89","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":"Q5224567$614643D6-A232-45CD-8E33-FA4CB7090D20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e570bbcc101022b951a9cf36f4c4a5fb3f93af95","datavalue":{"value":{"amount":"+0.8490924835205078","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":"Q5224567$47C51E6B-0A58-46C0-8551-31DD9B9B8A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70341c4e8d318cf5335765182d721d8aee7881a","datavalue":{"value":{"entity-type":"item","numeric-id":5100046,"id":"Q5100046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0989b64369999a482074ea610531a991d8b7c2d4","datavalue":{"value":{"amount":"+0.8215519189834595","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":"Q5224567$B94B81E5-869B-49BD-A857-8D4D3994BCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff2fa52f544dffe4627d58a6885a6b6dfba98c7","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec59f29f15edb16b6b865caebab36c70c72eca1","datavalue":{"value":{"amount":"+0.8116860389709473","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":"Q5224567$6BFACDFB-0F4D-4EED-8358-2FDB0B228F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be90cc9f3b7ecbe4895e85412ec3457f4f9be806","datavalue":{"value":{"entity-type":"item","numeric-id":5163983,"id":"Q5163983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a287fcd03ec70f661fb02f2b7f90b22037d83f","datavalue":{"value":{"amount":"+0.8086524605751038","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":"Q5224567$BB700C9A-7240-45CE-8284-2E80273930F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98489b5f412860292b9f6d032228702cfd6acfb","datavalue":{"value":{"entity-type":"item","numeric-id":4580328,"id":"Q4580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9806c559e3ac058ab09dfd264936720ae5b8b724","datavalue":{"value":{"amount":"+0.8035081624984741","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":"Q5224567$871C1DB6-400B-4C5A-A407-2F96142CF620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic axiomatization of `eventually'","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_axiomatization_of_%60eventually%27"}}}}}