{"entities":{"Q2867954":{"pageid":2878674,"ns":120,"title":"Item:Q2867954","lastrevid":51894818,"modified":"2026-01-20T12:05:19Z","type":"item","id":"Q2867954","labels":{"en":{"language":"en","value":"Hybridizing a logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241773"}},"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":"Q2867954$47647252-F6D2-49EF-9F04-A541528D8310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ecd64f45f8d1550667428b52db254a6593e0697","datavalue":{"value":"1278.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$07AA3598-CC9C-4FB3-8273-E3FAD752FB56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17d510f5fc284b6b938631a4b44f14a486e6a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2867953,"id":"Q2867953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$2A7E4756-37D2-4BB3-93CA-79D1C88A52DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$4B838678-8DC7-487C-9F18-8263023B2A56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867954$9C5DB6C4-72E6-433B-9764-AE872CDD14E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$A58A0DA3-A7A3-4E97-91B1-3E8A5986A5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$1B84EE47-C09F-4133-9334-8EF97A3C2F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$F6D88079-EA96-487E-974E-15E1BB190BB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af189ad83ed322a86c58d3d7eab6ac2cdb5cf3b3","datavalue":{"value":"6241773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$D02114B9-F033-47B2-9A6F-1CB3F69ABE30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867954$551D7DD3-65B6-4B6B-B667-E240548E31B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867954$1BECC08E-A943-4F54-8426-CF7848B2EF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867954$3BBDC2DA-BF8B-4905-A93A-5829FA86E73D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$CFBA75B8-9B6D-4AA7-81FF-D0626DA180FC","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":"Q2867954$F3A3A3C5-E1CA-4B66-A3DB-0143E12D8588","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b837a3bb5269c559b0e71b8e8a4ec48ddd5de793","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867954$2F8FC19D-0024-4305-99D3-31086BBBF524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"887775384563ef5cdbc7433abc8346f0d0c8620d","datavalue":{"value":"W2137722421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$F77CBE1C-BF73-4DFF-99A5-A5E039474FBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$9CB841D7-AFD4-47C7-8A77-3EC625435F3F","rank":"normal"},{"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":"Q2867954$74CE2FBE-52A6-43FF-90C3-C0C5F4E4AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$0498ABC9-5E98-4C67-AC31-B1698A70B841","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":"Q2867954$96761BB0-82B7-4311-AA3D-9FAEA34431D3","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":"Q2867954$53C09934-A21B-4C65-9A19-C7E5442790EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$6E257520-3994-4555-A37D-54722BCE78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$85EC18AD-6B20-4825-BF9B-DB9C0395B64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de45cde59f78cc8ae923f274f1dc6c248346f2db","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$47DB6D6A-5BC7-469A-83ED-CE240F6F7B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9c253b57a9633581697b43854c26fac7276c09","datavalue":{"value":{"entity-type":"item","numeric-id":4762205,"id":"Q4762205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$7E31D15B-857C-480A-9DD1-28046BA67784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbbff2b84430f48a139d9c8fb770312b000db4","datavalue":{"value":{"entity-type":"item","numeric-id":4444937,"id":"Q4444937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$052A3E80-035E-4218-AF53-F3D5063E0616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$E6886B11-8EF5-4ABF-AF0D-C71B05C5C722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$2234A7A7-7FCA-4449-9A72-BAD3165716BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$3D3A855B-43B8-448C-9E0B-F87652D30968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66408ed34b82c234df713b8aa6315011a631e7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4228076,"id":"Q4228076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$010B0ED5-8639-45DF-964B-22D08E49D27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7cbdd097548afc1faabe330adaa8a87935a44","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$6F9806BF-60F6-4669-8704-0947CC2C5E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$AF294D91-B7BB-40AB-B148-C065A54E8109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6378f20915991e9f9218b5d0c78fa888a1bd2bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4542941,"id":"Q4542941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$700E7ECD-C575-4BB0-861A-A6256B533BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8cf2dc492019f717e5e3e0a386be0e43cff24e","datavalue":{"value":{"entity-type":"item","numeric-id":3559763,"id":"Q3559763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$F41C7C1E-01AE-4E0A-B692-FB16A2E04F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867954$0D3C0592-BB40-451C-9C73-20ABF08CBCCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab4571b910f0fd0c82d756a26d2ec22fcb8508d0","datavalue":{"value":"10.1016/J.ENTCS.2006.11.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867954$158CD57A-27AD-4C1C-9C5B-D19FDC528B73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8681e14d25795e4a3c7eb42295da8f7dac99104","datavalue":{"value":{"text":"Hybridizing a logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867954$F617E4A0-8007-4FAF-9A99-CBDAF6F2ABF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7219781fca10499402bdd7f7a93765fa8b68f","datavalue":{"value":{"entity-type":"item","numeric-id":1744412,"id":"Q1744412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e36958de837afa35440a3c2c5105312ac2ee77","datavalue":{"value":{"amount":"+0.7840535640716553","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":"Q2867954$8DDD5B91-3AF5-435E-B5BC-221BAC20BE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965ef981a88f68c9bc25d87eaf82779a309524db","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fda9069efc7e645a8851cef2c91d4e03d039fc","datavalue":{"value":{"amount":"+0.7703685164451599","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":"Q2867954$9A6383A4-5074-4277-85D2-F1C210FFD438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491ae276abe92f2ec40b4854410c8b8e1b4ba3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5505549,"id":"Q5505549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf84144c1f222962fb0b0aac58a156dfa5276c67","datavalue":{"value":{"amount":"+0.7703337073326111","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":"Q2867954$1A6F9605-4F44-4604-9476-C190C2433E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0168108907ddaa6d1022d429beb77d49ecf51da6","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84cb39a4337a4858e2c5c824c6aedf26b8fba36","datavalue":{"value":{"amount":"+0.7695701122283936","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":"Q2867954$E7E996F7-F64F-49D8-9AA5-1C90EFC06DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b9186db654894550d7e57d85e3b92b8a3c2cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5096264,"id":"Q5096264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e11392bc7de4f98b5c2daab77038e8c7bfb5ad4","datavalue":{"value":{"amount":"+0.7657056450843811","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":"Q2867954$2DA3D38A-D7F1-4D5A-9567-53FE27F0EC65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867954"}}}}}