{"entities":{"Q2392566":{"pageid":2403309,"ns":120,"title":"Item:Q2392566","lastrevid":79014347,"modified":"2026-05-06T12:57:15Z","type":"item","id":"Q2392566","labels":{"en":{"language":"en","value":"LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194096"}},"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":"Q2392566$AF4FBB4C-2F8F-43A2-B6CD-C62FC3F310F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6feaeb418ae86fec9827b9d6898e105bce9919e2","datavalue":{"value":{"text":"LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392566$0E9CEC3A-AC72-4AAF-865E-A6493F77B583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ad67535d7b7924950cdadc06dff8530d4528ce2","datavalue":{"value":"1270.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$6357FA13-EFD2-4A0A-8722-E290729B0AB6","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":"Q2392566$A56D38D6-972A-4821-AEE5-98AC003F7A82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e52174554282dcd72d8428d308340f8fb7a9109","datavalue":{"value":{"time":"+2013-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392566$498C53DB-4A25-4252-80D7-2898F5FA6679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a1ac6c34282f89934bde81f26d4c038483d5343","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/70/2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392566$736DCA3B-2018-4B93-8DB3-1CE83548BA17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$6D20FB29-C593-40D0-91AB-226D46333666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$8CF6B9FA-11E2-4D5C-AD76-F755FBBC7344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$533E782A-F3D2-4215-8795-02589E7ADED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$7E0926BC-4C45-418A-956D-A45013E25920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$309BD3F2-7EFC-48BD-815A-5F4327AC21F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce6c078bb88e2543485926b42fcee9b3695dd49f","datavalue":{"value":"6194096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392566$F3A2E2A6-BFBB-4726-A6B8-4BCB08D0B757","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":"Q2392566$6961AE63-3C34-443F-A1AD-49BE5A991F78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecb7754f72b1d64c035b4eb581076c6740dc29c","datavalue":{"value":{"entity-type":"item","numeric-id":383080,"id":"Q383080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91585979d099e678b7e96cfacb4e7c4563378722","datavalue":{"value":{"amount":"+0.92210364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$DE972CC9-C0B8-49E6-A98F-503EED62F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131e345e6601b9e3507eb12c89780ae5c2d28c46","datavalue":{"value":{"entity-type":"item","numeric-id":382981,"id":"Q382981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ce2be23eb30f3a72b2680a4757eabf23b4973a","datavalue":{"value":{"amount":"+0.91224873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$4FD5BC89-9ECD-4CAD-9F98-516A39041CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfceab781524b84024bd3f3857fc0485e55abd1","datavalue":{"value":{"entity-type":"item","numeric-id":373630,"id":"Q373630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6429a89f16595b92ee551b8e52404d73d7921c04","datavalue":{"value":{"amount":"+0.90256214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$9B4FBB9D-6087-46ED-825B-0CC95E7801F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18e2dd34a0ccea9323a0b2bd41038fe7bc8cfed","datavalue":{"value":{"entity-type":"item","numeric-id":391371,"id":"Q391371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064c95cb34dedd32bcae7a7e640af70a7347517c","datavalue":{"value":{"amount":"+0.89922714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$815F9241-9F1D-4D92-8A5C-C69171FD0D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdf35f3732d03a545461a0c8a3c330cafdf7655","datavalue":{"value":{"entity-type":"item","numeric-id":383134,"id":"Q383134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0243a3bd2dc0c5cec6d2ce6cb413ce3fdbed11a1","datavalue":{"value":{"amount":"+0.84500504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$15ACFFC9-9ED9-40C8-AF7F-3B83767AA330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fec22bbdf1fc676e69a25d6ff1f0f2cf43bc085","datavalue":{"value":{"entity-type":"item","numeric-id":1613687,"id":"Q1613687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0c5e22edaf8a7daebc005596167d9f2931ba37","datavalue":{"value":{"amount":"+0.84242356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$1AEFD2E4-2395-4252-80DD-1C899249BA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5458ee015e4a286b2c082e37e155294c671733b","datavalue":{"value":{"entity-type":"item","numeric-id":684561,"id":"Q684561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c46d8d53857f84e6b4044e6f17229d1532b46d0","datavalue":{"value":{"amount":"+0.8379587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$3BA29679-E271-4142-90CD-9DFF600705E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03f83ecb9a6187d3c7db1ff5cae6bc6d3d18b2","datavalue":{"value":{"entity-type":"item","numeric-id":2435190,"id":"Q2435190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402a175b488e5503d84578439b63218680526d70","datavalue":{"value":{"amount":"+0.83645344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$F858DDAD-0D08-493B-B9B7-B8766F307867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95879b3e2a532def21243758d40ff148f238440f","datavalue":{"value":{"entity-type":"item","numeric-id":4691185,"id":"Q4691185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840793def3c5f630b2ea7f437058a6b3e2e5e915","datavalue":{"value":{"amount":"+0.8354857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$95C9C8CB-024B-4AE0-9671-7617F979058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad86877806e4dab28b611697a6f6fe224a84043","datavalue":{"value":{"entity-type":"item","numeric-id":2435191,"id":"Q2435191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1074c1cd7882a3aba619d41242a2732692c1157d","datavalue":{"value":{"amount":"+0.8326811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2392566$091E57F3-09F9-4635-918A-A031D6CFA195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LFM_2002._Proceedings_of_the_3rd_international_workshop_on_logical_frameworks_and_meta-languages_(FLoC_satellite_event),_Copenhagen,_Denmark,_July_26,_2002"}}}}}