{"entities":{"Q2871843":{"pageid":2882563,"ns":120,"title":"Item:Q2871843","lastrevid":51900539,"modified":"2026-01-20T12:19:22Z","type":"item","id":"Q2871843","labels":{"en":{"language":"en","value":"A meta linear logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244372"}},"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":"Q2871843$5B37498D-DF55-4599-87F9-BEB4966213F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4609a3262b139b9907944cf1d69ac20f8192130","datavalue":{"value":"1278.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871843$F87B80BF-62C8-4D9C-A0F3-DF691FE5093D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81a654ff06aec3b84567f690767928dc583cea9","datavalue":{"value":{"entity-type":"item","numeric-id":2871842,"id":"Q2871842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$D3BFDA42-280D-40FD-8736-59EFB365F468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$ADCBD85E-1C04-4B4D-B82D-178C0EDCBD23","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":"Q2871843$3769F2E7-349D-4300-841F-64849B3013F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871843$F72C60EC-1B26-4168-BF54-177201E3C0D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871843$6B4D7D47-152E-4294-8539-605B074A356E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cfdd517c1bb519566a87f8fdc3ef30f569cc309","datavalue":{"value":"6244372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871843$0997B5B2-E6AE-446C-8DDF-915E16042390","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871843$E961FE85-23C1-436A-B949-165259550450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f58cc178039f1f1fa4232a9a9961c7ea465fa4a8","datavalue":{"value":"meta language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871843$1EDF5199-5BFC-4F81-B9AD-118A89483A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e095f3367c2079f0e066675f7e6a74a7708bf988","datavalue":{"value":"meta logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871843$ADD37B81-3F8A-4153-A202-D7723C801277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011694c4b652e6640584f414ee4e9971f6515c40","datavalue":{"value":"\\(\\mathcal{L}^+_{\\omega}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871843$967E26CB-9A38-4BAF-9DD6-4C21DEDC9687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7049d4a351da1837b33da70f53e923d85881061","datavalue":{"value":"linear logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871843$62CBA845-0DAD-412E-B1E3-12AD287C1973","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$67F6D24B-3A42-4763-9381-F0BBFE6F6D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$25DEA8C5-9E4F-45B6-B4D7-B78DC6C92143","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":"Q2871843$82282F33-C88F-4310-9488-99EC695D49EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"737fbe26d381e290e2360471621173f7333282c3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871843$8CEE7E35-E867-4B26-839A-9D9D8D82A8E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7beb6543078be5ecc3220f27e3e278924dfe7341","datavalue":{"value":"W2140623168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871843$AB3E19DA-AC62-4ED3-9436-BE79B5D1468C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68542f59985cb9a88443cd52b24bf16e883af1d8","datavalue":{"value":{"entity-type":"item","numeric-id":4472433,"id":"Q4472433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$D206D1E6-E487-4A67-9FEF-22A73DCDA409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$DEDB9F0C-1B8A-4B00-BF48-59BAA8B9100C","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":"Q2871843$2E3B2039-2BAA-49FD-9FF6-0CA13ACC01E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$1E24A3C4-F2CC-4C33-8AC0-C72E92078D40","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":"Q2871843$7DB69AE9-A993-4288-B659-0FC9C81008C9","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":"Q2871843$8269767A-840C-43BC-85E1-A20854F22FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$8038D0CF-13C1-468B-8A1E-5DE1C280779F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c7c1567cee615cb93a6f63e4d461ecdc567d","datavalue":{"value":{"entity-type":"item","numeric-id":5900734,"id":"Q5900734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$31709A90-7B4B-4A3E-888E-80816BBF04D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3c1a158830a2778411fa5226697dec873e2e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4783333,"id":"Q4783333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$332A74F2-CF1C-43AF-8A58-33984254410F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b20d90e37de0f5337985f449ccb2cc95ad61e3","datavalue":{"value":{"entity-type":"item","numeric-id":2844807,"id":"Q2844807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871843$DC9D30C8-4097-41C6-AF7C-60C9B1425A35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac1326b1366c9b381e8663ddfaf4d7c90a02bf42","datavalue":{"value":"10.1016/J.ENTCS.2007.11.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871843$FB14E023-C2B9-4456-9369-C5AA0EE5F0FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeab72e65e339c04fdf1acaf4c6c3f2c50f960a0","datavalue":{"value":{"text":"A meta linear logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871843$3E733988-A4C9-4F65-89FB-93D9AC52EB75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa680a78cb492e1f7a508d5ab50ac6623bde3091","datavalue":{"value":{"amount":"+0.8377544283866882","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":"Q2871843$B422EDFE-72A6-4899-B221-C4C32EB309A3","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":"50ab9a54b2f85e1ed8d728e9b6104f0c4a0133ac","datavalue":{"value":{"amount":"+0.8026878237724304","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":"Q2871843$5F68FF6E-DA20-4B17-A1CA-CAEE97A45B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1099e95ec125c4e05592237cbfd6847f32670a","datavalue":{"value":{"amount":"+0.8015745878219604","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":"Q2871843$08553F3E-F515-49EE-9C53-5EED0EEBF4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8aadc234fae96afe6628fb7a2659c901b553dd","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64288023de108304bd09bf132bc5c47c73308bb8","datavalue":{"value":{"amount":"+0.7863780856132507","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":"Q2871843$00819F7C-D21E-4EE2-8B27-B1E230BE5C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733864c161ef4d49db793b22052233c0cf4d18cc","datavalue":{"value":{"entity-type":"item","numeric-id":5308009,"id":"Q5308009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64288023de108304bd09bf132bc5c47c73308bb8","datavalue":{"value":{"amount":"+0.7863780856132507","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":"Q2871843$EA0A1D67-5486-423E-8FEF-C3C098D02B9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871843"}}}}}