{"entities":{"Q6562516":{"pageid":14173671,"ns":120,"title":"Item:Q6562516","lastrevid":40561865,"modified":"2025-03-06T20:54:43Z","type":"item","id":"Q6562516","labels":{"en":{"language":"en","value":"A presheaf semantics for quantified temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871788"}},"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":"Q6562516$E43D5882-2F4E-4AD5-A38C-383DA8421705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e24d159dbdf9f93768720edb9dcd8760807163","datavalue":{"value":{"text":"A presheaf semantics for quantified temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562516$470DED09-D14C-414F-9E3A-FEC382C45A02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56e27109c32fbaf12d7b8159f138833d3c5b6b73","datavalue":{"value":"10.1007/978-3-031-43345-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562516$F944CCBF-CF1D-44BE-A3D8-A56CE677C53E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$16234090-1436-4984-BEAC-8DA41FFD37EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03b1afb622ec67b6fed87f1a43f526e8fe98e97e","datavalue":{"value":{"entity-type":"item","numeric-id":2151420,"id":"Q2151420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$A8D47702-26EC-4760-BE79-02C38265C6CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562516$01002E92-837D-4B7B-BCBA-BACEF85792A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562516$706EC554-F6E0-4F7D-BF65-F5DC891E405B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562516$2CCFB093-B66F-43D0-B1C1-6DD799A7F5D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0762c45abddc07ace6ffe5688a726943213f9252","datavalue":{"value":"7871788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562516$E7C0DD6C-48AE-487C-A59B-86BB28C5648B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98301de981633f6d3f31e2da7d3edb5b6b9b1b8d","datavalue":{"value":"quantified temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562516$E83B658E-A7FD-4A85-BA04-DC73A30A1426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586b44b549203c66170c67bcfe3dd1118d00edd7","datavalue":{"value":"counterpart semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562516$E57DB30E-1671-4FE4-834D-02B230DD27F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ac5741981f266c8adb549b032e99bbf016338d","datavalue":{"value":"relational presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562516$6E6B1F89-4DAC-41BA-830C-7E5CF598CBD5","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":"Q6562516$FCC3DF94-39DE-46F5-869F-0D7A8481ECE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d7cc3943642b07a0194d64bc0acad424d6004","datavalue":{"value":{"entity-type":"item","numeric-id":2974975,"id":"Q2974975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$DA4455A2-6177-4372-8FA7-2D5592DBC522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2024f77d65ef00da8219ef7e2d88b01ec7246f0","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$9DC0F041-EB02-44C8-B28A-00A5C36A5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$2A081844-AFE4-486D-A0CD-CF46761DD296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507038406dd5427cbe447a50c2fccf66314e1457","datavalue":{"value":{"entity-type":"item","numeric-id":4737192,"id":"Q4737192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$38C68E52-BB7F-46C2-8C3B-ACCE22FA5DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$590891D5-3505-43AC-B19C-F976ACDCE92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862061599e2cf610e0a9811f43493efd6b3954e5","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$B395BD19-D288-45EB-87E8-0FD4D59228B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$ECB1CDFD-EB42-421B-B5AA-7834892F1D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db141461395587989ddb85557dd012897610f6","datavalue":{"value":{"entity-type":"item","numeric-id":2898468,"id":"Q2898468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$B24808D6-E78A-4EC0-AE4B-3CEF8E9D7235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b87ff781d7ecd2360b26e232879544308cb52c","datavalue":{"value":{"entity-type":"item","numeric-id":6535505,"id":"Q6535505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$763E45B9-FE33-499E-A3D4-90B359CC3F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223739fff96f010fdd8f89987c1a96015c423d61","datavalue":{"value":{"entity-type":"item","numeric-id":2918971,"id":"Q2918971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$E575F82B-11C3-4674-9E0F-C389AF5DA2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5f2bf84f29b7e182cc99915fb6781a55f47a74","datavalue":{"value":{"entity-type":"item","numeric-id":1330446,"id":"Q1330446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$7B9D4485-E62E-4D87-BC80-BF40878479E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e80e2a603e8868f47b5bc8440aa302e5f8a50e","datavalue":{"value":{"entity-type":"item","numeric-id":3804674,"id":"Q3804674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$B0EF43C4-AD2C-42F9-B020-A80957BC16FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c185be165f8c6dfddba1a2367aa012d2e7d15a","datavalue":{"value":{"entity-type":"item","numeric-id":5687319,"id":"Q5687319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$BD3BA4FB-3AC3-4C46-BA89-29188ED2A1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990ada10c51cf652ffab8c11bec614b9bbb2df98","datavalue":{"value":{"entity-type":"item","numeric-id":6091323,"id":"Q6091323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$AD90261B-6B63-4CAF-B523-D8D8C52EC36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$24D579D7-F6C2-4800-80BE-A9FB42C1E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$44C796BD-EE94-439F-BF44-92726A1DBC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$8C558B35-BA17-493D-933B-0E5CD54F9D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$79A30A96-A94A-4F43-895D-DF804C21AE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$332EBF0E-8310-4E10-8F60-C5131879816E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$E8B504F1-709D-48BB-9697-681E3E2190AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff21a5a6a698b58efc4ab3c965f061ecec95d718","datavalue":{"value":{"entity-type":"item","numeric-id":3156483,"id":"Q3156483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$68E6C1A2-48DE-4352-944A-9E7AF9A63947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc02d6998fac97d70538ce6b4b8a09abc640851","datavalue":{"value":{"entity-type":"item","numeric-id":5200280,"id":"Q5200280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$EB940F9A-7211-42F4-9284-1D999798F9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$55FEB5D5-44D4-4FE0-BA8F-4515A7632442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367e2d3b43a3d655adaa8bd97ef7f9cf227b3c31","datavalue":{"value":{"entity-type":"item","numeric-id":5756604,"id":"Q5756604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$CB236B0B-CFE6-46C4-8C2A-4CD10628CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$5E1F4404-10B1-4714-B05D-5E3F4233CE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1b43206df452de3c5209da7f62d0f277f9ea2e","datavalue":{"value":{"entity-type":"item","numeric-id":2341703,"id":"Q2341703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$2627A569-E343-4A78-8B0B-0ACE73E76DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172f7a6ce0e85704ff61dd3ac88abcb54fa56582","datavalue":{"value":{"entity-type":"item","numeric-id":5129224,"id":"Q5129224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$57BD7E3E-A884-452F-8FA9-8BC592280E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7050866c2121a8fe6e2a514ebee5b0e4a27e3a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3424121,"id":"Q3424121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562516$39474709-EE55-4D0E-B61D-09A8018FEBD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6562516"}}}}}