{"entities":{"Q5216145":{"pageid":7245715,"ns":120,"title":"Item:Q5216145","lastrevid":58485930,"modified":"2026-04-05T10:31:13Z","type":"item","id":"Q5216145","labels":{"en":{"language":"en","value":"Intuitionistic linear temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7167737"}},"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":"Q5216145$7751BFDA-6B63-4D5D-BC50-CF54FCD55073","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"421dff510d6de9ef5f6277384c00c6e2b7d833b9","datavalue":{"value":{"text":"Intuitionistic Linear Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216145$23F571FD-CCED-4F56-A8AE-69BEE8CDF405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9e845289729f6e10e96043779f8337450e105ce","datavalue":{"value":"1433.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$0197DA5C-DD9E-4386-BD75-F13BFC04DDB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8310e11887b0806ae85c5d44407b1a494b7a62e8","datavalue":{"value":"10.1145/3365833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$D8D64428-DA0F-4133-B21B-BF349C81AE00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216145$DB8A7695-0B36-4694-AE2D-58D4BC464C99","rank":"normal"},{"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":"Q5216145$24DECA58-E463-4822-A00B-191ECE1F88AA","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":"Q5216145$53095F5A-E52F-4C23-A3AB-425F736743AC","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":"Q5216145$59048057-C0A4-44DB-A326-D4D634D209E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216145$849AD465-38B6-4826-9E8F-BACB12EA2CB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b35024051bbc5cca042bf1b78be69bcce3c6e02d","datavalue":{"value":{"time":"+2020-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216145$FDA9A84F-7DBE-4EF5-9BB6-5610FF5A318C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7529803fc9595729e0de2c23ae20585a96d5d6b0","datavalue":{"value":"https://arxiv.org/abs/1912.12893","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216145$05003C45-261B-49FF-A0D3-0D732D684FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c8e8f53fa752722f11a90fcf00ca122697b8f6b","datavalue":{"value":"https://oatao.univ-toulouse.fr/26276/1/balbiani_26276.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216145$DEFB24F7-E7B3-4B77-A57B-D8B3893BF11B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$07CA0661-69C7-4719-A441-F92CE49B6E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$91DF2CC2-C5CD-4646-A132-1E6209DA2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$586555A0-3EAB-4027-A95A-309FB05D6B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$E7A4956C-54E1-46E2-851B-830852AC8260","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2340dad65263dde29b7f27841e59ff14a9665d92","datavalue":{"value":"7167737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$C84B6810-1576-462F-AFBD-A924A1D641D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216145$C6B75A7B-048C-44D9-A2B2-CA2CC17ED943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216145$E424B3F3-3084-4A05-9657-BF2496170F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216145$C66D4415-0909-415E-8A84-27FBC106ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd997327b824e3c9fc81a2f6cde63105f5015dd0","datavalue":{"value":"mathematics of computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216145$B3C46E2E-1C83-4BED-BA25-6EFEB754FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216145$1C42EF66-C31B-48BC-824E-25A9E9F0BE77","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":"Q5216145$EDE14409-B033-44EB-8061-0A37246AAC05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b69ccc26a348fbe68868aab4e2d3b9dedf291db","datavalue":{"value":"W2994676117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$C42BFD2B-50C9-4136-BACB-C412417C9927","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"72d122b3346e4ade7ecfd93e902dc31f12e6cba7","datavalue":{"value":"Q126542510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216145$C8E80026-54E7-42BD-9A54-4CABAB6EEE4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7a937d8477108f75f2a5320317bb7c19addf66","datavalue":{"value":{"entity-type":"item","numeric-id":5039160,"id":"Q5039160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdeef2cc1cde2bad1ea6933ae89684d7ce2be3a","datavalue":{"value":{"amount":"+0.892881453037262","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":"Q5216145$F34B9D13-D9B1-45F9-924B-458F017F9579","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":"495b1b0bec8854151738e8b2f8ad0ca29a7bcce3","datavalue":{"value":{"amount":"+0.8922008872032166","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":"Q5216145$2C2CEAC1-9E49-4ABA-8064-AACE43869E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba933d92f5fb0917d504d73dcfa7fcac11717e3b","datavalue":{"value":{"entity-type":"item","numeric-id":5224567,"id":"Q5224567"},"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":"Q5216145$4E72608A-B366-4C8A-849A-E0C3CE0FB750","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":"df21140d4597e660f7fbeeb1d85f2ffdb24c7f5a","datavalue":{"value":{"amount":"+0.8223785758018494","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":"Q5216145$743FDD72-8BBD-404D-8B19-189657713934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213137a270a4815fbb30f6b9624d6e022f29a0f5","datavalue":{"value":{"amount":"+0.8174455761909485","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":"Q5216145$1789CCD4-2418-4A97-963B-29E208C428F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216145"}}}}}