{"entities":{"Q3704887":{"pageid":5734793,"ns":120,"title":"Item:Q3704887","lastrevid":50464271,"modified":"2026-01-14T03:01:38Z","type":"item","id":"Q3704887","labels":{"en":{"language":"en","value":"The power of the future perfect in program logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3932380"}},"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":"Q3704887$14E8A7D3-A9BC-4417-B662-6FC9F8F511A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef8270253bb69056016f9adda33fad94cc81bf1e","datavalue":{"value":{"text":"The power of the future perfect in program logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3704887$9D3B2EAA-1DC6-4406-93E7-6C782EF73B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2d8a340061b332c76cfbfd00430d330fa4fc81a","datavalue":{"value":"0582.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$CA19FD23-CE5A-4CEE-BF87-93B3120FFD7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d3465dc1bb014faa7b6d60659134fa6914a387b","datavalue":{"value":"10.1016/S0019-9958(85)80025-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$19C7DB34-0A8C-4D9D-B58A-5D87DE77C127","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704887$5403A12C-D12C-4C0F-A099-0D9DE0CE2B42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3704887$DB818A16-7204-45F7-98F9-A882CB5EB9D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$1A8FC041-2F07-4666-82BD-9DA93AFA5FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$886F7C95-A7FE-4C50-B8ED-C2C39E037ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$145CAACE-ADE3-475D-884C-5B823B2A8D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$B023FC05-3D75-4D75-83E7-167930F32B28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ae671b73d9a2a433433eaf151cb566349a72d8","datavalue":{"value":"3932380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704887$DA97A74A-95AB-4C13-BF1F-57B7DB6319C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$238F186E-A7BC-49E4-8EDC-5233D9BD8884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$98E5DB37-91A3-405D-BE1B-6C485C59158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$ADBFD38B-CD51-4A96-B3B5-1642C484B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$D9776D43-2B98-4D38-9BB0-06B12DB2B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$4F84947D-FBAE-43EC-B5B8-E6711B1210DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$38CD6BCB-6E59-42EC-A94B-7C51DB2DCDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$8B4CD613-C711-44A9-92F9-095EED5F8232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2577d9da8edee17f4dd311dd2779d86966c4183f","datavalue":{"value":"relativised past tense operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704887$4FF7EE2F-7D70-45FC-BB15-5B2B1B893A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704887$E97B93CA-5C71-4177-B10C-2CB17291397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704887$BC86C69B-FF5F-435F-87D9-EC4E88CDE0F0","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":"Q3704887$E3917070-4F1F-4913-8C1C-D71C72DAC4D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3704887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3704887"}}}}}