{"entities":{"Q2255232":{"pageid":2265975,"ns":120,"title":"Item:Q2255232","lastrevid":52193966,"modified":"2026-01-21T03:26:36Z","type":"item","id":"Q2255232","labels":{"en":{"language":"en","value":"A Hilbert-style axiomatisation for equational hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6399322"}},"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":"Q2255232$58A0D821-0399-4AD4-A2B3-2ADF63AD107F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"174192f3daa45911dadc6122f5d693df11d30af2","datavalue":{"value":{"text":"A Hilbert-style axiomatisation for equational hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2255232$1D30C128-7957-4132-A245-FBD7DBF6047D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ceb9f6b0582bcb9ba373d77d8c4511c28a513e","datavalue":{"value":"1305.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255232$0873C80A-2F50-4433-890A-2005A1B8E1F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$39B44EBA-527C-4D66-AF7F-CA10013777A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"117ff9282c17b075ffccd322286948e1bb17f7fb","datavalue":{"value":{"entity-type":"item","numeric-id":2255231,"id":"Q2255231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$E1990418-DF2E-47B5-840B-F0F7D17C5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$4C636ECA-50C8-463C-BA96-7B84BD15AE85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$97B64C23-2D39-4944-BC7F-027FE4E0133F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6bc95df7d1a8d387d8c02f0d8903ce3f8325e8a","datavalue":{"value":{"time":"+2015-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2255232$71C6A14B-EFE1-4BF9-BFB7-83919795FB08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81b6484b6b278ec8898c2076ebd3a5482fa44433","datavalue":{"value":"http://hdl.handle.net/1822/33739","type":"string"},"datatype":"url"},"type":"statement","id":"Q2255232$5EA4DC42-E91E-4801-850F-CA9EA51A4C33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255232$58764073-840A-4505-89D2-06BD8F193588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2208593fa20f7403e44df174f9690749333ce6","datavalue":{"value":"6399322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255232$B9DC4A43-58ED-4033-965A-B32331BE2D36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b770c8a716c542844b1873dc85498b949380003e","datavalue":{"value":"equational hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255232$F3B8AE1C-5971-4BE3-A331-2AC6C57081F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887299afd667ff9be06bc7ad07035694b5798a22","datavalue":{"value":"Hilbert axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255232$2B30172F-C891-4864-B959-329F1F0E8CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255232$12FBF45B-4C56-408D-BB8B-2B28A88F3C5A","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":"Q2255232$EEA7DFBC-22C8-4979-95AC-79BB26387FFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c851670a97da1acc2b3d0605c0622c275d4787eb","datavalue":{"value":"W2104202457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255232$5CA84C6A-E297-4D4B-A58D-7DC3297C9776","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$5ECD69C8-FE85-4B04-8E0F-A3C3F4F12B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$D8985253-3932-48D5-8C54-83424FED5C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$492CEBC8-9C27-46B9-9CD1-E6BB608A7B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$20497C2A-3235-4A19-A29A-4A5A7ADD1691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$412C8301-06FE-41A7-82FB-0D92CAFABE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81197bcd468bcac12d7ca64f6e8d9c1b4a403ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$9DA14582-588A-4445-B26B-C344F2FE0A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$7019A612-2F49-4FB6-8F3B-5973F78CF388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$D57C6812-01E5-463C-8B79-417138934B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$793EB94A-3954-49AD-9EAA-C87E43EA0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e7788c510e56d626a0dfc006a8672d65867c70","datavalue":{"value":{"entity-type":"item","numeric-id":4329240,"id":"Q4329240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$515801D0-4F9D-4440-B966-F69D0ABB9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$D69B46F8-3291-416C-A384-965B02BDB0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770e1b5ffd5abf6c345ab23622cdd76cfd3f0c91","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$6F8FB3F4-B918-4F6B-B48B-C7065659A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92f7114312f6c85cc4040a9ef9b3edfba7ef56","datavalue":{"value":{"entity-type":"item","numeric-id":3095244,"id":"Q3095244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$45DABA05-A901-4598-B0C4-CD9F5D6EAE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79aeed4964278674423b0a5003aebc7829aae8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5173183,"id":"Q5173183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$F9E872DC-F8D1-400D-BA6B-C85E37781BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb6eae708d05b75381068eb7d811f3c3e4e924e","datavalue":{"value":{"entity-type":"item","numeric-id":3090875,"id":"Q3090875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255232$994DA1E3-11DD-4BC0-AC85-D39CF9A37918","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"960a01864f407986e5fdb42e52031f668b1f149d","datavalue":{"value":"10.1007/S10849-013-9184-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255232$523F341F-FCF5-49E1-AC1F-9E66E6C48AD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611a3fe61559cd88fd2f42b1b96d69ae4ffa5ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1006454,"id":"Q1006454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd086c4358a167077f80cee3d102d6ec40b9aa6e","datavalue":{"value":{"amount":"+0.7290825247764587","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":"Q2255232$6066FFAA-CE2D-4F61-A04A-D4351E6A9CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e6cb360872b360282b12f3058b67802717fb20","datavalue":{"value":{"amount":"+0.7211425304412842","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":"Q2255232$F35E6243-CD1C-49F9-8CD8-3BCCF365041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d68b0255b426d27ec489e487120e3713002d6","datavalue":{"value":{"entity-type":"item","numeric-id":1682285,"id":"Q1682285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863bc9dfd42699851236fac470bce83844f79da3","datavalue":{"value":{"amount":"+0.7113733887672424","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":"Q2255232$8EE88B89-DBB1-493E-A7FC-75BDB7C8BBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0de32daac918331710c80545bc7e43fc0a9be2","datavalue":{"value":{"entity-type":"item","numeric-id":5278421,"id":"Q5278421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa8ba775e6bbfad58bcba0d4fdfd96ba5b9bb43","datavalue":{"value":{"amount":"+0.7108535766601562","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":"Q2255232$B59F0D39-3468-480F-9DF9-DF8AA4F06B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278f70e0efa85f7d20acd9bce998d5b5447502d6","datavalue":{"value":{"entity-type":"item","numeric-id":5459188,"id":"Q5459188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489f60936773820b082b4b710c020d1911714fc2","datavalue":{"value":{"amount":"+0.708608865737915","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":"Q2255232$1B6B9D31-A54B-4B8A-9B25-50612E2CF27E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2255232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2255232"}}}}}