{"entities":{"Q5039160":{"pageid":7068737,"ns":120,"title":"Item:Q5039160","lastrevid":54418001,"modified":"2026-01-26T19:08:09Z","type":"item","id":"Q5039160","labels":{"en":{"language":"en","value":"Bisimulations for intuitionistic temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7599979"}},"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":"Q5039160$9039CB30-9D0B-4B7D-BD3E-206A9726C5F1","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":"Q5039160$F22DD98A-C358-4A85-85F9-B8140E4A8C24","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":"Q5039160$75E9B43B-6F63-4FA3-9DE9-730FD45DDC3A","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":"Q5039160$CDD78F5A-2BB2-4CA2-BA3F-AF23F02CA0E9","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":"Q5039160$CCCE2D94-EC50-4D8F-B6FF-D41678A9A3A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8100ea976e153ee716f24d344b922ea5d1ea049","datavalue":{"value":{"time":"+2022-10-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":"Q5039160$9443F681-83E0-4C27-8ADB-A23915736DCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41379d2201db3e3f9efbf0b58d883314f01c4ff0","datavalue":{"value":"https://arxiv.org/abs/1803.05078","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039160$B0EA7956-9AF8-4352-A755-98A8CC4B4247","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039160$165EE148-AA74-4731-BCFB-D3A5DA84CAE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e85c8a1ee9da61ccad38f9d309459e03078732a","datavalue":{"value":"7599979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039160$9C724DE4-AB99-41A3-B112-9D8B615B7811","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":"Q5039160$7897709D-BA83-41AA-83B0-308F9BD3212B","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":"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":"Q5039160$9C37F8D3-29AD-4BD7-A2DE-FB26B68C517A","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":"57119e7f1d781bf191f102efe35d07f45069125c","datavalue":{"value":{"amount":"+0.8254942893981934","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":"Q5039160$9BB9AB41-CD61-4612-9797-1058425AC229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5468f103fa74a4a5200a01c39643d7e2e91fe881","datavalue":{"value":{"entity-type":"item","numeric-id":1371312,"id":"Q1371312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ece3b52237b3caac1319eaa75801685c37aa184","datavalue":{"value":{"amount":"+0.817870557308197","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":"Q5039160$A1FECC93-8598-4895-9D81-C9E619954A29","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":"c097eb20e7cbae8203c14820fd88301ae7dfee83","datavalue":{"value":{"amount":"+0.7716788649559021","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":"Q5039160$8C211B51-98E3-4671-91E0-A6C85304F444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39f4d8c81ad4cca4f75f9cb6e8098d12261686","datavalue":{"value":{"entity-type":"item","numeric-id":636275,"id":"Q636275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418e6ed2afdafa5f2bab3169bbc8460631cf5dad","datavalue":{"value":{"amount":"+0.7715005874633789","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":"Q5039160$EAD5C239-7E0A-431C-9212-6D98B176597A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039160"}}}}}