{"entities":{"Q6045000":{"pageid":13179156,"ns":120,"title":"Item:Q6045000","lastrevid":93746390,"modified":"2026-06-05T05:01:48Z","type":"item","id":"Q6045000","labels":{"en":{"language":"en","value":"Propositional dynamic logic for higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689205"}},"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":"Q6045000$D0D5AC70-CE3D-4F8B-B315-E61E428CCCCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51e4677224cf4d0a51ad089ab618b9028cf9a4b6","datavalue":{"value":{"text":"Propositional dynamic logic for higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045000$1A6DC883-184C-4208-9E35-0ADBB9791ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"853ba83e706c155dbf8131d6f93f5a24264240a0","datavalue":{"value":"1511.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$6CCB98EA-20FA-4E67-ACE5-4A2FF834000D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff80b5c98ca3a41e846ef4e7e6a4d51ecbc45100","datavalue":{"value":"10.1007/978-3-319-96145-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$D3A18544-4C80-4F42-BF69-1E46D7C2D437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d15fa89083ae24cdec9d05d40e44430afe4f27a6","datavalue":{"value":{"entity-type":"item","numeric-id":2274804,"id":"Q2274804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045000$E81B72B5-C249-437D-987E-B1D26FC15B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045000$83783C29-D9CC-4F36-AA0D-B948E80773D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045000$066E5376-E1FD-4960-AB5F-3AB28A3BF2DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-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":"Q6045000$68611CA8-46E9-441C-838D-57F037238CAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$1077BCC9-1B34-45E5-BAAB-A8614D758A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$8FF41541-FED7-4D1A-BAFE-0D53307CB13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$EE7C1F0D-B97F-47E1-9D24-2B67591AB846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$EBBAD411-2AC8-4084-AEAC-D3CC8FF856F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53242481662c599a3b31b45bfad5e811dd5f0eef","datavalue":{"value":"7689205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045000$7EB9DE8E-18CB-4023-84CA-BD00176C9A04","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":"Q6045000$D7836FFF-5D2F-4061-A13E-5A7BEE34DB94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b64a722fb5891d538c29db48d292a0c3f618ce","datavalue":{"value":{"entity-type":"item","numeric-id":2324003,"id":"Q2324003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83bf14b671063f69a2e7f9c84037a93b614fe46","datavalue":{"value":{"amount":"+0.7643250823020935","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":"Q6045000$6A831EAA-42CE-47B4-809E-348E853580EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb407a7b5f60d06a9c3cf064a5705596c8d40055","datavalue":{"value":{"amount":"+0.7579208016395569","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":"Q6045000$9C2CFAC1-5BEF-41BD-8A4F-379C6A9B143D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91407b64dfdc43aa08e4d4d1da867dd2b07757e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e01216296c38df3d7f1e2b3979016a33edc321","datavalue":{"value":{"amount":"+0.7546436786651611","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":"Q6045000$B5F5CA35-763D-48D8-A6B9-D022073FD2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa6360734fb6bd78c54763d45741a9f9cfe4e6f","datavalue":{"value":{"amount":"+0.7534790635108948","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":"Q6045000$62EC7B8A-043A-48A2-A8F8-8C9DFDA3BD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0e302cbd889ca2ab3c15228f09bb141388f051","datavalue":{"value":{"amount":"+0.7524400949478149","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":"Q6045000$22FEEDD7-FF54-4177-9881-4CAAD6AAC493","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic for higher-order functional programs","badges":[]}}}}}