{"entities":{"Q2296760":{"pageid":2307503,"ns":120,"title":"Item:Q2296760","lastrevid":55373164,"modified":"2026-02-17T14:43:40Z","type":"item","id":"Q2296760","labels":{"en":{"language":"en","value":"Axiomatic systems and topological semantics for intuitionistic temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7169143"}},"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":"Q2296760$87222F3A-8D54-4F1E-8B01-7025DB0828D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a476554505f95985076eabf15124d95e3fa4f3c","datavalue":{"value":{"text":"Axiomatic systems and topological semantics for intuitionistic temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296760$F0F7D1AB-B9AC-4674-8B6C-1C1F198A28AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9f857ec1a28b646d4b983b3a820f3d05109b379","datavalue":{"value":"10.1007/978-3-030-19570-0_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296760$0B29CC01-F537-4E64-B48D-A62CCCCC9F96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04281bfa65bfb883608bfa6d50149ba149b9639b","datavalue":{"value":{"entity-type":"item","numeric-id":777892,"id":"Q777892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296760$93CB58B2-A42B-44E0-8438-FD1141C39EE5","rank":"normal"},{"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":"Q2296760$896A911F-0B7A-4364-938B-41BC081B21E0","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":"Q2296760$B245A43C-30E5-459A-910C-B606BF8FC0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39839c601fc50c877675d2b1c295c3eb46be6923","datavalue":{"value":{"entity-type":"item","numeric-id":2296759,"id":"Q2296759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296760$7C787F9E-2E8F-46E1-AA99-2419174AF4D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2296760$025ED617-EBFF-47FE-B80B-90EC67682538","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a81938965c4b5f415897f4bd77bcbad24fba4d82","datavalue":{"value":"https://arxiv.org/abs/1803.05077","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296760$3F20ECCE-B3BB-4813-83A8-54F7918BCCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"11228cac0b2bd4a158875e84e498c38d0b1c050b","datavalue":{"value":"http://hdl.handle.net/1854/LU-8668860","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296760$BE0F8351-001D-40BC-BD94-D6A5BC52FA37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296760$426D09B7-CF9D-4AE8-8068-629EBB2103A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c529c8efd60d114c36cd67c813e506f2da78e52e","datavalue":{"value":"7169143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296760$EAB78E60-7AAD-49B7-857B-778FE4847F37","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":"Q2296760$2859FD72-5833-4C35-8F3C-70778F739636","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d10b54d019b831d02801111be99cef2338b1dad4","datavalue":{"value":"W2964058654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296760$72B8B3A7-7349-4740-A463-5B6CE10F746F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff048eb8d69f7f1fff299da75d76b906338693b","datavalue":{"value":{"entity-type":"item","numeric-id":6063858,"id":"Q6063858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc636484dc6aeac26b4be5518fa7ccee5fc1e1c","datavalue":{"value":{"amount":"+0.9232922196388244","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":"Q2296760$6A9D2892-7A7F-4555-9648-1027218D8A4D","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":"c3345e080dddb94fca3d3f248390dc77691d447e","datavalue":{"value":{"amount":"+0.834160327911377","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":"Q2296760$EC717BD6-9F34-41BB-A527-30B4E15E3654","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":"8d9f24170620959c594b7163b32dd46cd1f15a2b","datavalue":{"value":{"amount":"+0.8043456673622131","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":"Q2296760$9D47873F-2E15-48E9-82D3-E557EA36F87A","rank":"normal"},{"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":"caf34f7bca89ff696a03b06f0da1af52ffa44ae5","datavalue":{"value":{"amount":"+0.7958835363388062","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":"Q2296760$48091FFF-482B-4EE8-9C27-6FF9CC498CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce14981e2f375995f4633327150ba1e44a38264","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5e76e850edbe2f45bc6adceb69f591cfff7d89","datavalue":{"value":{"amount":"+0.7829530835151672","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":"Q2296760$13EE9D2D-F8CB-4DF4-BA7A-D4DC68C3596F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2296760"}}}}}