{"entities":{"Q3387900":{"pageid":3398603,"ns":120,"title":"Item:Q3387900","lastrevid":53899391,"modified":"2026-01-25T21:56:10Z","type":"item","id":"Q3387900","labels":{"en":{"language":"en","value":"Syntactic proofs for Yablo's paradoxes in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291246"}},"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":"Q3387900$F34CB2CC-4BC1-4586-B71D-17A4D5356EE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e091b0f6ee4173f54fe029078557e979b630974","datavalue":{"value":{"text":"Syntactic Proofs for Yablo\u2019s Paradoxes in Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3387900$6DA1D0AA-347C-4B63-9BA0-CB2390F4A7A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2d9d658839526c4eafc944b5524c6ed587fc17e","datavalue":{"value":"1458.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387900$581D892D-425C-428A-8C71-EF1D20E181F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d59a506c0a88c4739670eddd806433a02934c7c","datavalue":{"value":"10.12775/LLP.2019.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387900$ABCE57FA-4637-4BAA-A313-2A9E7A4529E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa8907967d6dfc2144d8c6eac7132af5b4b6290d","datavalue":{"value":{"entity-type":"item","numeric-id":2020794,"id":"Q2020794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$526D84E6-0309-4E99-A7D0-A36EACC89AD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$166892E6-2545-491C-8EC5-C12F3D50667E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3387900$7316831C-3F60-4DAE-B8AA-5B14D1565BE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387900$E228F81E-BF3C-4A23-95DE-F8721D5C2A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387900$96089D0D-8DAC-4B30-A86B-445164DEF099","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe61ea0a7a606180062d98c3150de939769bfeba","datavalue":{"value":"7291246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387900$82E664FF-B989-467C-885B-EAA150981CD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca1e81a358e07f2e1b8b53f4006785b09e02a81","datavalue":{"value":"non-self-referential paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387900$475E5EFC-79FD-4529-AE2D-02BA68EBB72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a7efa6cf387484c8cfa5a90b6fe57776ccefe7","datavalue":{"value":"Yablo's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387900$64A72F46-E79D-4F7E-A036-3ABA9905A653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387900$9E8544DF-FFE3-4565-BA55-D0AE506450A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ccf05b4a4a3f96ba8e7854b5babeeddcd79eeb","datavalue":{"value":"syntactic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387900$3F81FE46-77AE-477E-8BBB-6DB1C2E2EC21","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a60d6bdde5c7dd9793edfb0692fe1525c35f9300","datavalue":{"value":"Q113750043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387900$CFF3C2B3-F095-4E51-922B-ADC334CDD1BB","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":"Q3387900$0DA2AEF3-4038-41AD-8C24-6CDF6DF3A003","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"361c668fe36bb5ea4d2bf1d85ed249c99f0d3d3e","datavalue":{"value":{"entity-type":"item","numeric-id":622620,"id":"Q622620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$63642BB3-0E0A-4C8F-8541-956581FDC828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86f2415d789902b79ab6da703edda4bc252b3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5375877,"id":"Q5375877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$DB86CB5D-BED7-4D17-8351-CB26D1221510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4535fadc5347e799be3d49857fdcffa91805500","datavalue":{"value":{"entity-type":"item","numeric-id":5414139,"id":"Q5414139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$06AF06C5-2EB4-46EC-9CF7-333E3FC45DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ea31ee566a7c60d75740cfa5401e241a80c2a1","datavalue":{"value":{"entity-type":"item","numeric-id":2759797,"id":"Q2759797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$82F514D1-7BEB-47DF-9A5D-172C8C12FF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75a6c92ce2609b786c59f001cb56a39f872d3de","datavalue":{"value":{"entity-type":"item","numeric-id":863184,"id":"Q863184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$1820B3D0-5ACD-483B-AF69-6F9DBC2B0D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ee144b99cec392887852d2ed613bf80bf92fa4","datavalue":{"value":{"entity-type":"item","numeric-id":4434377,"id":"Q4434377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$F183B488-00B8-4D8B-9D17-291D66F47A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af8b069a5d1d01274309436e54eb99a98f7bbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":4439308,"id":"Q4439308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$3DFF97A5-4138-44E9-8FD6-A328F7C5446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9663a9f2c44c57eeec7d1dea8930a3341a62c7ae","datavalue":{"value":{"entity-type":"item","numeric-id":2936236,"id":"Q2936236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$0F5C00EB-9742-4696-BA0A-DE1883036695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a456d084c61bdff732344ab3bb9519f23c1843","datavalue":{"value":{"entity-type":"item","numeric-id":381006,"id":"Q381006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$C6A984B0-6705-4B26-85D2-78DAC122494F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258c1c46e371f7e2d2e1515988ff37b5a23fb972","datavalue":{"value":{"entity-type":"item","numeric-id":5283778,"id":"Q5283778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$FAE922C0-39AF-4F2C-B128-76E51E243EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a25875cc823830e01a3c214e9d7b583be50061","datavalue":{"value":{"entity-type":"item","numeric-id":4609354,"id":"Q4609354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$47BB59E3-EAE5-4572-AE85-220C96B920D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a750a76e3f4dfc9cf698b4edfa3cccac2f7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4613588,"id":"Q4613588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$115B4143-1D68-44AB-AF4A-0BB580F549A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4060460ba804a7e59fb72c808c336f25b4f5a75","datavalue":{"value":{"entity-type":"item","numeric-id":4663376,"id":"Q4663376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$4409440F-C25E-4B7E-90C3-DFACB35D59A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c957c0f3d4f5098ce47248c6a732218004b57c","datavalue":{"value":{"entity-type":"item","numeric-id":2576421,"id":"Q2576421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$74BFF251-AA41-4436-8048-A263DB2A9937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$0C709DE4-DCA4-4665-B53F-D33924D755FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb41a42c977c1ce9d28879d827966bfb49e1d16","datavalue":{"value":{"entity-type":"item","numeric-id":484179,"id":"Q484179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$1F39B1CC-8235-4DD0-9537-6ABD5F63A596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09ab69c0fc290683f77c220c32fc269d9661ace","datavalue":{"value":{"entity-type":"item","numeric-id":2377057,"id":"Q2377057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$B49E82DA-102B-4189-BFD9-940080A373AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455f50c2ea8ed5103c5abaa231ff2cc080397d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4497434,"id":"Q4497434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$B23582B9-58E5-4A9D-8A56-22572DD8FB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01845f358d35722d3b6cbbf84eb5bd6443228df3","datavalue":{"value":{"entity-type":"item","numeric-id":1073006,"id":"Q1073006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$78CC3A48-B25B-4C6F-A9FF-58BD0461AD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05746a0dac113e5198b70d5d9fc98ed6dd6405d1","datavalue":{"value":{"entity-type":"item","numeric-id":4497450,"id":"Q4497450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$CC5B49E5-A419-4F6A-BE59-CD7A20B11803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f29215cecd6014ff934c409d6c8b9c4e8379df5","datavalue":{"value":{"entity-type":"item","numeric-id":3604284,"id":"Q3604284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387900$F6FBA970-65BC-4B4A-A1C3-6C1AA6D6A462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9c6d4b46aca4855f6791d8eb3d183c1b451354","datavalue":{"value":{"entity-type":"item","numeric-id":5283778,"id":"Q5283778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e974d7da3932a0b907fae9c426891a5d71dd4007","datavalue":{"value":{"amount":"+0.7792055010795593","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":"Q3387900$17F69ECE-D65E-4239-A9D9-876DFD706846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ce8d2c78736f9a79a1fb255f5e6dbf230cc44f","datavalue":{"value":{"entity-type":"item","numeric-id":5066800,"id":"Q5066800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5877fb290a4b3d64d725287f3e6d05e3b04658b2","datavalue":{"value":{"amount":"+0.7704300880432129","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":"Q3387900$9241EC7D-5D8B-4FAA-A3B2-3B4FF1A02F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361c81e587acc4e4e071c3f15cd986d2bd9c6633","datavalue":{"value":{"entity-type":"item","numeric-id":4689573,"id":"Q4689573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb484f906e9dd294347b1a8160ae29ed58c75653","datavalue":{"value":{"amount":"+0.7527487874031067","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":"Q3387900$55CBAEF5-2FF0-4478-89E0-9B636C8C2558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91f94fe891449ef6632b77c930f1396ec03907","datavalue":{"value":{"entity-type":"item","numeric-id":5116453,"id":"Q5116453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853c8add123d71cddeb8fef4bbfa2d77f778c6d9","datavalue":{"value":{"amount":"+0.7382077574729919","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":"Q3387900$03A7B848-0F12-41A7-BAB6-2EF829B6DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b6eb71b80da8b08d65c82ee1208bde5f0a35ce","datavalue":{"value":{"entity-type":"item","numeric-id":2759797,"id":"Q2759797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4596e4ed04c2e54d11314fcc706709f824d42018","datavalue":{"value":{"amount":"+0.7353532314300537","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":"Q3387900$6638E554-D8F7-4944-ACDE-0D581D5F9F64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3387900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3387900"}}}}}