{"entities":{"Q1821095":{"pageid":1831837,"ns":120,"title":"Item:Q1821095","lastrevid":49049914,"modified":"2026-01-06T12:51:35Z","type":"item","id":"Q1821095","labels":{"en":{"language":"en","value":"A unifying theorem for algebraic semantics and dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997765"}},"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":"Q1821095$129CE7C9-9936-422E-B37D-6F2D4BB7F3E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbc9216b6f63517da9d82bce5efde8ef47a5d04b","datavalue":{"value":{"text":"A unifying theorem for algebraic semantics and dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821095$B908D129-0BB6-4551-AF13-A8490BB6AB61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb5e5ccd8d5e50f67268e9cf516d41a172cdaa79","datavalue":{"value":"0616.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821095$94F3EADF-28ED-4B10-A566-0C2AFCCD17FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4a73698f7e2b5b96b56ca0b210d7e9584bb0dbf","datavalue":{"value":"10.1016/0890-5401(87)90049-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821095$D567A4C3-7D14-4565-9064-FD7A9ECFC01B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$A1D06BA3-89C4-45C0-AFF0-EF707824E048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1821095$CA689E82-80B5-4467-B3D6-673E512DED90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18d8e947ecbefaad256189108ef9b52efb22bcf9","datavalue":{"value":"Various logics have been proposed and studied for expressing and proving program properties. This paper considers the problem whether the class of models of a logic is first-order definable, yielding a general tool to prove that it is not first-order axiomatizable if it is indeed not. The authors show, by using the technical tool of ultraproducts, that a class of structures which is first-order axiomatizable is bounded in the sense that all iterations stop after a finite number of steps. They apply this idea to continuous algebras, dynamic algebras and general computational models of programs. They deduce as easy corollaries of the main theorem the results of \\textit{A. J. Kfoury} and \\textit{D. M. Park} [Inf. Control 29, 243-251 (1975; Zbl 0329.68015)] and \\textit{B. Courcelle} and \\textit{I. Guessarian} [J. Comput. Syst. Sci. 17, 388-413 (1978; Zbl 0392.68009)] and others.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$22C3BDD7-3B64-47C6-AC6A-4FF7BD4E8CBE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$763CDD70-3A77-4F2A-83AD-FA7DA7349476","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821095$B94548E4-6C53-4C38-95FC-FD1EE1E0FDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821095$AF4886A1-5BED-44C7-AAA1-19D296F2B392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821095$922FF317-03D1-49A1-895D-D06A202F2701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44ef18badf7c6de223817e99d6fd0e672e61b62a","datavalue":{"value":"3997765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821095$EE33D1D0-A7F5-4BE1-BD4E-EDBD3992119A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d92c203a318ab2fa874912f87d84b31ffc669206","datavalue":{"value":"first-order definability of classes of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$B0FA257A-3363-430D-B498-20CE54859F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e432c5608bade6a3a63533cb35d0aa47739931","datavalue":{"value":"first-order axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$41C5EA70-8E42-4F4C-B03E-4B5A7F82E4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$05DD77D2-B900-4B71-8C9D-B6B9738B18D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8b4e9fd4d06fda9f2765c0fab903e714f963f8","datavalue":{"value":"continuous algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$07A160BF-E982-4DC1-BB58-D46129C2BC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$2060E701-5C76-42BF-9CEA-5451FFFB72C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ed1d92c4bf2020a2bdffcadb0048050c9b881e","datavalue":{"value":"computational models of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821095$800D45F0-9A88-46F5-AEE9-D17991B89AD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$6CC07583-5AE9-4E48-B36B-127B26D01E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$801EFF2C-5EED-42B0-B88B-E7B240218828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$7DDCE89B-C521-4996-9C97-184C92E72612","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":"Q1821095$FAE21FAC-99AF-41C9-8201-64A4DEDF3569","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$23838F2F-8D39-4A30-81FA-C9BD51E9F6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1174921d2198a7a0d271408b7f7ffece05cb14ff","datavalue":{"value":{"entity-type":"item","numeric-id":3666908,"id":"Q3666908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$F239ED6B-15B0-4B4C-91AF-17CE0420D183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28056ed53ef07a9d6632c6440711fd2b65f1640","datavalue":{"value":{"entity-type":"item","numeric-id":1159461,"id":"Q1159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$6C93B954-79E8-42BC-8D4C-64417A2300B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$2237172F-7391-4FD9-86EA-FD6A2C3C43B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf665bf2f0b9e1dc10920d6cef545ef5dde3941","datavalue":{"value":{"entity-type":"item","numeric-id":1251892,"id":"Q1251892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$6B2AF94D-65ED-416B-9438-D82C8C9D4652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$9412583E-6D96-47AF-AD8D-353EFB7F6D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$27ACB1D3-BD50-4620-AA2E-C61CB565C6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$12A02DF9-1476-4414-B20D-722DB70E6AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$953DFDE4-F5BE-413E-A9D7-98C304D89FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$CE204D37-62B5-4B63-B7D3-03F8C3087178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862c76abe7dfb9afc39f8baf26767fb0a692e9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1131271,"id":"Q1131271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$2D21311F-7268-48DC-B559-574B34D80D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$A2503052-33AC-45B4-AF42-0BB6F1BB02E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2335bf2bde2a86df144c16c9f5c4df96c861134","datavalue":{"value":{"entity-type":"item","numeric-id":3958436,"id":"Q3958436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$40AFAF52-B345-43E9-828C-5A1B56519251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11015c2590743aa394d6a0295baf2497e9c917c4","datavalue":{"value":{"entity-type":"item","numeric-id":4749182,"id":"Q4749182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$C051FDC0-F77C-4FF1-9371-FDC9863444A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abd6fa0724a721a45064182135f912040b33032","datavalue":{"value":{"entity-type":"item","numeric-id":1167197,"id":"Q1167197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$207F87B0-9186-41AC-A7D0-B04B5CA17309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7a3316329cfce249f69c13171c2ebaf3fd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":3956390,"id":"Q3956390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$78E42ED4-437C-4286-97FB-C2FFD04F80F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1ca2cb5069c4d1c3c1c9219c03487dc47ce889","datavalue":{"value":{"entity-type":"item","numeric-id":3958640,"id":"Q3958640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$1F0DA93C-0A40-4832-BBB2-9F7F0CEB47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$3A5F3793-CE2C-4D7E-8483-174139E06A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$4AA16689-4EDE-4C36-A274-4CF270C97754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8e7ce7ba49e55329487a7eb0ac790949d49fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3871917,"id":"Q3871917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$51C7E501-AAF2-4113-BD9A-96CB6508FA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e54f9f66b1c3de59cfed3242148b97dbfbc948","datavalue":{"value":{"entity-type":"item","numeric-id":3343429,"id":"Q3343429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$7701CF74-CD26-4CB8-8945-11095FC94E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4468c822231428166b6b0acdb33239b48ae44664","datavalue":{"value":{"entity-type":"item","numeric-id":3346470,"id":"Q3346470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$27405826-FB96-4961-938E-8A2D451EBDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$354C6A46-3BD9-4C03-8C3A-833B545AD95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821095$2097ACEB-B813-4C9F-B7DC-9E185EDF495B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9559e19b9298ccd213664f6c35b86bd8fb825c2","datavalue":{"value":{"entity-type":"item","numeric-id":3719823,"id":"Q3719823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3aedebca2490c78f3b64ef25cf9c90baf83181a","datavalue":{"value":{"amount":"+0.890788197517395","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":"Q1821095$5C0684D8-4747-452D-AB14-6A92B3C42341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f57dd83d992fd0761fe9d47477b9fe8c5a3bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3835442,"id":"Q3835442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9285a0a56f3ece4c90a6e9e2af8fba96a4749529","datavalue":{"value":{"amount":"+0.77641761302948","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":"Q1821095$39E22116-95C9-4A51-9D6B-6CF1910F4605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f53db904edc8742f58844bcbe0e7e76cb9cb0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428a8c720f0505f81a51d0c8335b7eb58b6c5a4e","datavalue":{"value":{"amount":"+0.7670862674713135","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":"Q1821095$5A290295-9C24-4DF7-8CF2-01141FDF1730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543e6e944723c9248c3553bcaea6ec203f90f692","datavalue":{"value":{"entity-type":"item","numeric-id":4808684,"id":"Q4808684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3210308b6be115c824ce1079c8f81d8ef91b571d","datavalue":{"value":{"amount":"+0.7527974843978882","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":"Q1821095$1279A510-BAAF-4F8B-9C51-5EAC7017611A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f87e3dab5d140aec91f4ceb5699d4c0d102bae","datavalue":{"value":{"entity-type":"item","numeric-id":1183594,"id":"Q1183594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede054442e4c768a988b463a987b96caaf4e3608","datavalue":{"value":{"amount":"+0.7422958612442017","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":"Q1821095$B4DAA0A3-6D7F-43AA-85D6-EAE5E1B65C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821095"}}}}}