{"entities":{"Q3939782":{"pageid":5969687,"ns":120,"title":"Item:Q3939782","lastrevid":55042501,"modified":"2026-02-03T02:51:24Z","type":"item","id":"Q3939782","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3756452"}},"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":"Q3939782$959C2E3C-6FD6-40E0-8316-CE3FCF867303","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67511e0c3113a2e781ca7767e1f44cd6d760c0fd","datavalue":{"value":"0482.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$4A7200BC-C171-4324-9192-DD5B0DBCA2B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939782$F7AE2D71-DFEF-4C7B-8041-62B45B1B1D56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3939782$EDE42800-2CE0-4296-A2C5-15B872470C9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$D16E5F20-3135-4448-A56A-B4179789BA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$46623696-3BDC-43AC-A984-0E615F8D0316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$CC7E6BEC-D4A8-461A-9E40-21E1B9C48EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$AFD35B31-E0D9-492C-8F6D-2DC212C38E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$2E882982-8E05-4CC2-86F9-A0AAAC163E9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9cfa0d26afdd7816547dbd9e25361ee669056ce","datavalue":{"value":"3756452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939782$AABB0B43-5426-47FD-A63D-F66166D481F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaed1cc9b261ac84fd972b911b89adf856b35d5","datavalue":{"value":"natural topology on Kripke models of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$09A9D654-D003-46A9-9C10-AF1CA29D2502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13608c10d259ab7db3604529a1a84d9da3f100f0","datavalue":{"value":"topological Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$10035190-9572-40E3-A54A-91ABCB063AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee22d86577fb78e017e0ef234cda22e2b7bd2cb","datavalue":{"value":"separable dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$2C762F30-2A64-4C8B-B035-50AF12138F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f439a251a0ea2bc5b4c26159621ed0936eb9bc","datavalue":{"value":"discrepancy between the standard and nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$6DF149EF-5A64-4C57-97E1-7289B24EA224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$EA0E1CE9-C492-4879-8AC7-1CB3E56B9371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$6F2C175A-D7B1-477E-ACDB-1556CEC84041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939782$0E45122D-6536-48E2-81ED-304FF4836DDF","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":"Q3939782$3DB64982-FAE7-4D7C-8BF3-973457528E65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3939782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3939782"}}}}}