{"entities":{"Q1679752":{"pageid":1690493,"ns":120,"title":"Item:Q1679752","lastrevid":71925531,"modified":"2026-04-14T01:27:57Z","type":"item","id":"Q1679752","labels":{"en":{"language":"en","value":"A propositional dynamic logic for instantial neighborhood models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810778"}},"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":"Q1679752$DB353D97-8422-49BA-9754-88DB2D59CDEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecaab8de4bb2e9a7eb857ecfffa85fb0934b897e","datavalue":{"value":{"text":"A propositional dynamic logic for instantial neighborhood models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679752$E470E3C9-B50A-407F-8B41-269778C14605","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d757bd8a63388379829805a737bf2746d78f6eea","datavalue":{"value":"1495.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679752$B9D042ED-8C88-43A5-8B47-BED9763389FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb61daf785bf265870aaaeb0dce855bbd171b1f4","datavalue":{"value":"10.1007/978-3-662-55665-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679752$4BEB6B46-DC35-4750-A8AF-9AC349CA65A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679752$95E5DFBB-DDE2-4B72-89B9-E1341F74C72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679752$BCCE7D93-D776-4EB7-BA5E-1602AC135104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679752$293221AE-CB54-4664-9C7A-80E0E58EBFDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679752$8EC6F3C9-CCFF-44DF-85D2-5CB8034A800A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679752$785CFAC7-0666-45B6-A51E-982DA765C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679752$DE3B4117-27DD-4343-B640-E53FA03AC0A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41ee9debe0927885ded18c75013f0996ba46d389","datavalue":{"value":"6810778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679752$E52D901E-5C14-42CE-A115-2C4B2D35DEC5","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":"Q1679752$6EFF4DE5-4356-4C8E-9286-B031E1230B34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89a00fb0a8a864f8feab30e261ad492865ea2218","datavalue":{"value":"https://doi.org/10.1007/978-3-662-55665-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679752$A7C27D2C-7227-418B-B39D-4ED3DE6C2C4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c95c4dab5db3402af0c2c297e2662a41e03bfc2","datavalue":{"value":"W2748144368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679752$1A1F1723-7354-4A9C-8D99-FDFF207AA033","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c688877bfef0c2a5e3320f85b29bcd32ac58122e","datavalue":{"value":{"entity-type":"item","numeric-id":5737964,"id":"Q5737964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84831ca29e1027be8663c75df8a19424b350c194","datavalue":{"value":{"amount":"+0.8144514560699463","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":"Q1679752$BAE46CF9-9CBD-4999-8E82-A6B8D40D6F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3484f94119daafccd30540bf48384d3d8acc1a23","datavalue":{"value":{"entity-type":"item","numeric-id":1709714,"id":"Q1709714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caa86eb5334b69800bb2234d141620350cf1c2e","datavalue":{"value":{"amount":"+0.7591192722320557","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":"Q1679752$3E0466E0-41A1-43E9-B49F-ADA1DE191C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204badc33185ca93f6312b6d5c9298442aa55aad","datavalue":{"value":{"entity-type":"item","numeric-id":2035846,"id":"Q2035846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a862958db754cf0523d3a762ed1cc7fbb04b3048","datavalue":{"value":{"amount":"+0.7579594850540161","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":"Q1679752$9AB33509-E388-4396-B216-035018344226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6134e8beef50015922c8945aa4306292f3d783","datavalue":{"value":{"entity-type":"item","numeric-id":2334111,"id":"Q2334111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7307c5affbd832849e27bb302ad15d6d54ebb2","datavalue":{"value":{"amount":"+0.7404971122741699","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":"Q1679752$A3A695B6-E8DC-45F9-BCDA-87278B11CCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0257ad22f725b477ae43f1a68278b432eb395209","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd88b3d869bd42af5e5de34296b224e1b08a89e","datavalue":{"value":{"amount":"+0.7328483462333679","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":"Q1679752$B2F1312A-BD53-41E8-974A-6668B31CFEFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional dynamic logic for instantial neighborhood models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propositional_dynamic_logic_for_instantial_neighborhood_models"}}}}}