{"entities":{"Q1675787":{"pageid":1686528,"ns":120,"title":"Item:Q1675787","lastrevid":68116836,"modified":"2026-04-12T21:33:05Z","type":"item","id":"Q1675787","labels":{"en":{"language":"en","value":"Institutions for behavioural dynamic logic with binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6802654"}},"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":"Q1675787$C328160A-9222-4188-B3C0-528D0534E1DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5c061fd8fab78af58ec1e38d9f3d416ba55a456","datavalue":{"value":{"text":"Institutions for behavioural dynamic logic with binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675787$7048D43F-4FF6-4370-BC1A-369C8BD892C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c815771752fa73c9f7795394fe5fa604bfed4943","datavalue":{"value":"1444.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$E8ACFB1F-E97E-477B-A6FE-6CAB8042F9E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f91bbf6237dec7950469490a6a849038f5d44904","datavalue":{"value":"10.1007/978-3-319-67729-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$74DE399D-B876-4B38-9F86-771B16A14A0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675787$437550DB-AD51-4E68-88ED-CD584593325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3463df273e70fb782bb74b15747c9b61c0881319","datavalue":{"value":{"entity-type":"item","numeric-id":724931,"id":"Q724931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675787$DE216B35-4D63-4F72-9BD0-ECCDA003E0F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67aba7197112cbac1f8ed2910c0f63c4d1f0c462","datavalue":{"value":{"time":"+2017-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675787$3BB54C4F-BFB4-4682-9815-A22C07A4190A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ad083e4fea996577ffd524056da94b30e30fc89","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/6301","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675787$73DF56A7-840B-4D04-8108-0B9D2CE1EBA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$326361FE-856A-40F3-8552-19574219A9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$B9E12885-4439-48B4-84C9-D96C4AC46717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$EC8CD26D-A730-4186-B2CD-C871D297FBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$8E3C2EC8-DD69-4278-A07D-6423622D4042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"698b22579eb5176f18a023b2fc3f2a4e63dbffca","datavalue":{"value":"6802654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$4DC63BE4-5EDA-4E01-A74B-DBA0A8FE67F2","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":"Q1675787$D95B89AE-AC59-4B67-99C6-7F137156ED48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f99ab8db3ffdb387502a53a16de40df370c6cd72","datavalue":{"value":"W2753958933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675787$47049C02-B984-4B4E-9E71-33D22FD1E96D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103376bd038a21837dfdf3903e15dd1c48786414","datavalue":{"value":{"entity-type":"item","numeric-id":5208504,"id":"Q5208504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f667f65ba452a2d6740f10ae11f9e2a479e34987","datavalue":{"value":{"amount":"+0.8137798309326172","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":"Q1675787$9830570E-8FA6-4BE9-825A-9F8891C55BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdca71e4a5a8bed96f8e290af618354e717b527","datavalue":{"value":{"entity-type":"item","numeric-id":3179414,"id":"Q3179414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c742e856cf16314ec80e649641d6d39cfae88ba7","datavalue":{"value":{"amount":"+0.775336503982544","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":"Q1675787$63441F3C-AEE3-427A-9760-D981A5F6516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a84d81c35a3fd491520c9ff9f33b131b42a31e","datavalue":{"value":{"entity-type":"item","numeric-id":777876,"id":"Q777876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6659c94d716b954a01a1807c4497a9059c4f0129","datavalue":{"value":{"amount":"+0.758073091506958","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":"Q1675787$A764D76F-B2C7-4228-8F37-AFCDA33299E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c43f8ac923c29246f2d012e8bdba32de0d70fb","datavalue":{"value":{"entity-type":"item","numeric-id":5492830,"id":"Q5492830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af25ad8f1749bba41bb3b65241580868fcdee24","datavalue":{"value":{"amount":"+0.749582052230835","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":"Q1675787$2F3B4970-3AC1-48FE-A45A-43687DF2E8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010af94014ce978ba13182ef3232a8be522ea466","datavalue":{"value":{"entity-type":"item","numeric-id":4471714,"id":"Q4471714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b34ad60e9f6da2430f41acec2863a8e2c33d09","datavalue":{"value":{"amount":"+0.7484685182571411","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":"Q1675787$34ACAA14-1FF2-4E0D-909D-CA3C80CF47BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Institutions for behavioural dynamic logic with binders","badges":[]}}}}}