{"entities":{"Q6536300":{"pageid":14147443,"ns":120,"title":"Item:Q6536300","lastrevid":55636870,"modified":"2026-02-17T20:08:07Z","type":"item","id":"Q6536300","labels":{"en":{"language":"en","value":"A temporal logic for higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834954"}},"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":"Q6536300$020C076D-9622-4DAE-BE0C-6DEB4190EEDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37dac2a492765923822e5377958f9dd15920e9d5","datavalue":{"value":{"text":"A temporal logic for higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536300$E7F3269C-E1D0-4F21-9A2F-D8CFBD87E5D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f319fab773a964536c8e4ced0d8032510038196f","datavalue":{"value":"1539.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536300$EEDCD423-F79C-49DB-BFE7-DA84596FB8D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bd4e3a1d9ce7abf9cdb86433a8f51756c24b279","datavalue":{"value":"10.1007/978-3-030-32304-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536300$4BF9C458-ED7E-43E6-B32E-741D6081FEDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a1a86e6910f906c6583df2789bcdecac0a8a25","datavalue":{"value":{"entity-type":"item","numeric-id":6536299,"id":"Q6536299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$74F32995-21AB-4DF7-8D9E-DC8DAD1C79C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$6EEC807D-C786-4E3A-9042-AD15A3BE8CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$B12CB047-C82F-4E34-A610-2C3474840283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536300$E8BE9CEC-19B6-44AE-84A3-FD2092FAD062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536300$4E20D856-FD43-42DE-86EB-815382537994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536300$8E85222D-93DF-451F-85B9-4699B2851927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536300$2845CB7C-7A36-411C-89A8-7E073630802A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d60a9c9d3e5aedfdeb7bcfe7167e9e440db74799","datavalue":{"value":"7834954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536300$9C489B45-CCF6-4DD7-8B86-752710568EE7","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":"Q6536300$5CA00D09-06D2-4B8B-BE63-26F23C8FDDC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$B9AD00E9-A3B3-4E2E-8AFB-477FDFDC7640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c778ca8a917ef8b30172fcca5a7a1b9cccdc3853","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$97B7A432-4354-4014-96B2-0E4C4F7A49DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$EDFD3EC5-B9EA-41E7-BA51-5286F251D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd70181a109c9c53308b7092100e6ab2212aae2","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$4A87E9FB-B02E-47A3-BF7B-44D767B984EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591e620a8a66e1721a29c9b2b1fe684e9ab38463","datavalue":{"value":{"entity-type":"item","numeric-id":5176974,"id":"Q5176974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$957443B0-56BB-4930-A94C-FABFC3044EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$37D7197C-099A-4BED-88C1-C88A8E400456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$C9217002-E7A3-4343-8E18-1700278DC7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$3D663617-E47D-4396-9328-F2A984F20EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$EDB95237-8F7D-44CA-8513-05E03D168D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d01b28af18d094af5eec79f421593ddef68f30","datavalue":{"value":{"entity-type":"item","numeric-id":2828245,"id":"Q2828245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$1729C3A7-FD30-422D-B8CA-7E473C64173A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$C295B6D4-81FC-4EB8-9942-E46D54E377B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$FDCE0844-BCA7-4BC4-BA2A-C0A106AF27B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5bfdd39c5441d2d0ce74bf2862a81d527f9b42","datavalue":{"value":{"entity-type":"item","numeric-id":6045000,"id":"Q6045000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536300$2C421EFC-7E59-451B-BF38-1810ADB5137C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10db818ff18a6150c04846117ce8f684387ed0","datavalue":{"value":{"entity-type":"item","numeric-id":6045000,"id":"Q6045000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de9783d57b23f7cd059d63f7d25c7bcc3d073c4","datavalue":{"value":{"amount":"+0.8296521306037903","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":"Q6536300$F45EB41B-A1EB-4EA1-A578-EF33ECD8C37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa60d847b50a8789ae0cdc5d86e4718730d690a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635644,"id":"Q4635644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f3ed275d910af3bb31d3982bf42d19dc1836fd","datavalue":{"value":{"amount":"+0.805741012096405","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":"Q6536300$A740D348-4412-42EF-8C24-763D9EFAEE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc0d2057f08451429e303894452f7af869ad74e","datavalue":{"value":{"entity-type":"item","numeric-id":2828245,"id":"Q2828245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7173156beaa1752a6397165ba3da0e2c1b62d7e5","datavalue":{"value":{"amount":"+0.7821657657623291","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":"Q6536300$664459C1-EA52-4621-A271-429C5845394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fcb12c24bd87b3c6cd8fdd7a0678957569997c","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ef11bb06ef6660f11a7cd812ad80833bc9e256","datavalue":{"value":{"amount":"+0.7796509265899658","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":"Q6536300$DC757E3A-34CF-4ECD-89AD-90B8DFC558AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03ba18052806ef29b397f5c3308f6e6daf42f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748896,"id":"Q5748896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088f0ef8a30fd24d162e4e31086afd83ca845bde","datavalue":{"value":{"amount":"+0.769527792930603","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":"Q6536300$0C5777B7-ABD1-4E22-848A-1BA7020308F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536300"}}}}}