{"entities":{"Q1040775":{"pageid":1042623,"ns":120,"title":"Item:Q1040775","lastrevid":69491604,"modified":"2026-04-13T07:21:38Z","type":"item","id":"Q1040775","labels":{"en":{"language":"en","value":"An extensible encoding of object-oriented data models in HOL. With an application to IMP++"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638510"}},"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":"Q1040775$870A46E1-DF50-4ED6-990F-FB9511F9DF14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cce4d9608ef5d62f8444fde47b540ae26b47dcf","datavalue":{"value":{"text":"An extensible encoding of object-oriented data models in HOL. With an application to IMP++","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040775$D1629324-2659-4727-AEF2-61DDF2F8DA5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227741f5b762ebf8b48b8d45ecaa84dfe0e3d826","datavalue":{"value":"1191.68619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$68BAF623-B392-4273-9F37-89D140E2E25F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b3f2efcf958b40022b60d5ff3169a1615bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":470023,"id":"Q470023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$67FE4750-3D45-47EA-9DE3-1905F7761106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$A2FC05F8-5193-4638-9FED-29D738548EB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$9F3C87B9-35C9-4675-A00F-801F59C76D8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040775$CA905A84-4A13-4B90-8F27-FE9D999B7BFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$C5F0F640-08DE-4120-B11E-2F62C420265B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$7FEEE10A-01B4-4561-B2E4-DD02F87B0DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$C3D906FA-F0A1-4389-85C7-6C96486CD7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$AE47465E-46D4-4693-90A9-419CEA6B3F9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f50855e1e33cb3c74d076e1846dc6c7ab6442141","datavalue":{"value":"5638510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$10031EDF-CA03-4000-A5B9-997BEF60CBE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ecf9c535f24a75c88b6ceefc905a3fe3ee1724d","datavalue":{"value":"object-oriented data models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040775$6B530DB0-5BB5-4E67-8550-ABF46BC46F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040775$DD7D0099-BF4B-44D8-8BE6-07DF9CA1BA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040775$D5EC36AC-D6A8-4FEB-AD15-B3A1670E7570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040775$5451A481-8764-4F4D-8A7C-8133AF354841","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$603E1AC8-086F-4BF8-9544-8D357AF03453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$7AF75048-BC2E-4890-AFB7-A351C6B5E426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95fec11edcf5b3fa68e98a31465e1e07269fb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":15531,"id":"Q15531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$B1B90441-6922-4E65-AA12-1F2E0F027B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8d8e1f04ba18c350ecde52b815c4dd1bcc26291","datavalue":{"value":{"entity-type":"item","numeric-id":17873,"id":"Q17873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$2AFBFB40-EDA6-4B1E-8137-C7F78A41347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$5C85B05E-BE3F-494F-8651-3A1AE712EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$50E6731F-1656-45A5-8A13-1A018691FE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$2C31DCFD-028B-4DA1-A975-ABC013CAA0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$05914C87-72A7-4724-B411-0B4CB676B07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$9B3796AC-61A0-4333-B2CB-ADB1AA9F70DC","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":"Q1040775$40E4E6A2-9408-4E06-83B1-2F22E4F07125","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21d586097c5cb69384ab83fbb3efbdccab470aa8","datavalue":{"value":"https://doi.org/10.1007/s10817-008-9108-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040775$B4E4B9CF-5858-4FB0-8558-7552960D4277","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76bc1137e5a9739578b18c467366d95d800400c0","datavalue":{"value":"W1584909899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$6222E437-9B6C-4198-A54C-2FA8A3661130","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$F33B91F4-EE1C-465E-9018-B4945EF7E9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d58b8515c6a8d18d8734bbe37578356094f4b77","datavalue":{"value":{"entity-type":"item","numeric-id":5716881,"id":"Q5716881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$35C37455-67CF-49EA-8F3D-F939F8E601B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$BA3096C0-BB95-462B-B115-FEE30B4FF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$28E584DC-EB8A-4253-9A51-9066DD605313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8515247747c04071cee03c4e2b35aa91b60754","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$68C337A9-514C-4B45-9FF7-F987B67ED03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5746912aaeddd743883752807cc60e94e0090b","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$BD0D8058-9D2A-4212-A564-F6282B8EB337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79be7140dcbe0aa88396f1cd226352626f0471e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477655,"id":"Q5477655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$8BA2B97D-6FA5-4664-96A8-759AC72011CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c5440d660da150fd20e6d583b8106f210ba897","datavalue":{"value":{"entity-type":"item","numeric-id":2729071,"id":"Q2729071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$3892CAB7-70C8-42B7-B441-8D6CB42119E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$CB28A335-E28C-47B0-9985-DF960DD82EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$BE450844-CC7F-460F-9089-FAE0D026A245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$18EF649F-7140-434E-9E4E-9BBA616952E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$EF481310-6D22-4071-BF9E-572E749F2053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$C35DBA6B-5E02-4C2D-8D77-80A09A272ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$D3A51BB9-15DC-436E-8D90-F1BEBF06292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0651b069c388bcce95efb9c114d6fac12631d23b","datavalue":{"value":{"entity-type":"item","numeric-id":4472177,"id":"Q4472177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$C74984D4-FA89-4F75-BD7D-377DC6F90BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$DF1343A5-F059-41B5-9E25-A872358DF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b441d5aea9e3f91d1a5464c90a907f22e62f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5395123,"id":"Q5395123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040775$C3FE3C3C-068B-4913-B53A-2BBE4799599D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cacd57ad2193f0cb964299484be77596ec21545","datavalue":{"value":"10.1007/S10817-008-9108-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040775$DE2DB37C-8463-4F9E-8B63-364E94EE4903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da651c30726fff5f8ed6670d920e77f2b604308d","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52dec4a8de5d287d8629b90b6f777faa292b02e0","datavalue":{"value":{"amount":"+0.7837594747543335","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":"Q1040775$59B4B4AA-CCAD-4DFE-A1D0-2B04ED9DA8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6750917f3829cc90d656580d66858111c73214","datavalue":{"value":{"entity-type":"item","numeric-id":4472177,"id":"Q4472177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e5e7892c980f49b23ae3d947d10fb2b58c8a70","datavalue":{"value":{"amount":"+0.7798983454704285","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":"Q1040775$FFAEF1B3-C337-4004-9F01-327866E0A9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefe555784c5f1553df3c5919dd131f0c4485e28","datavalue":{"value":{"entity-type":"item","numeric-id":5395123,"id":"Q5395123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f621089ee25a6f0a06e694c0d0090fd77d389b31","datavalue":{"value":{"amount":"+0.7575078010559082","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":"Q1040775$9B476427-13B0-41F4-90CB-1719159A7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906280411292f7d7ae65a58a3d97379b3b9e54c0","datavalue":{"value":{"entity-type":"item","numeric-id":2754049,"id":"Q2754049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902d68a8191db533dc23f9699555f2c3f3dff780","datavalue":{"value":{"amount":"+0.7291978001594543","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":"Q1040775$CC363B20-8073-42CA-93EF-7580B34C29E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a86d85508bbc33261ed45c95b81ff11dd6f69f","datavalue":{"value":{"entity-type":"item","numeric-id":4484335,"id":"Q4484335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c38db1c5bb1eeed0bd4c277a51e737ea0dddd60","datavalue":{"value":{"amount":"+0.7053433060646057","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":"Q1040775$5F565E36-7989-437F-BA83-DCC9E3C1F170","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extensible encoding of object-oriented data models in HOL. With an application to IMP++","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extensible_encoding_of_object-oriented_data_models_in_HOL._With_an_application_to_IMP%2B%2B"}}}}}