{"entities":{"Q5278397":{"pageid":7307972,"ns":120,"title":"Item:Q5278397","lastrevid":55938913,"modified":"2026-02-21T08:10:59Z","type":"item","id":"Q5278397","labels":{"en":{"language":"en","value":"Models of \\(\\lambda\\)-calculus and the weak MSO logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748860"}},"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":"Q5278397$F83A452B-5666-44F8-805B-91EDD1D7C20D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e0e11d8a4dcf8b11fbc098817e34953d260aa2f","datavalue":{"value":"1370.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278397$00F65425-E1AD-4EA4-BE5A-7B2D469282AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278397$AAC703FA-EE70-4447-9C94-F1640F340BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8895ab41da7ca8777b6718ea89096c669323e0","datavalue":{"value":{"entity-type":"item","numeric-id":286117,"id":"Q286117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278397$F828263E-49D7-4DA6-A531-D3B0C4DBB436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278397$AA526CDE-2950-4786-AE52-B70BE02BD59E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278397$5D92F3D8-1AB3-4680-9D7F-160AB5A9C859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278397$D09032C9-BCA5-4B79-8688-F62FAF2AFDD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55121e54a1caab5942622ac0fdfb63da5237b164","datavalue":{"value":"6748860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278397$12F214B0-F9E4-46E3-A794-0F1DBD46E536","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278397$C059C710-8FA3-49FC-84D3-3A3F58F2910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278397$89C16AC0-DBF4-4709-91D2-EB48C2010ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b78d52d11a420c6ae9243b605e9df213c2f94b","datavalue":{"value":"weak MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278397$036498A2-679B-45AF-A2D3-4D6355FCBD2C","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":"Q5278397$767E62BB-B0F0-4BC0-9E1E-CD270312D7F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b441429178aa206a0c1d209aa1a0e17cfa2626eb","datavalue":{"value":"10.4230/LIPICS.CSL.2016.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278397$56D4551A-417A-4041-9E7B-A8169D7C51F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6653c2484472fb5b617ac1899bf28316ff8c9bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b961b986807d06ace4fe540c2c025c52598f359","datavalue":{"value":{"amount":"+0.7706438302993774","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":"Q5278397$12F0FEC5-963A-495F-9C02-7BEFFEB1F826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7933570c27b75c3a8b592f0243a12c8e417f0eff","datavalue":{"value":{"entity-type":"item","numeric-id":2963901,"id":"Q2963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252a7f3a6bf8a8a616c9cc6c6ba8229e4cba3210","datavalue":{"value":{"amount":"+0.7587301135063171","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":"Q5278397$8FC330DC-CB03-431B-B768-EAFA76742250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c02e3ec25316e3da92f1e7db6f8e1529478a367","datavalue":{"value":{"entity-type":"item","numeric-id":4635611,"id":"Q4635611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150dfc39b8a00122f11ddae92b44cf56fdb4d2b7","datavalue":{"value":{"amount":"+0.755843997001648","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":"Q5278397$42AC5CB2-64DA-42D9-B6C2-CA75479CEF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e967a0844032208c812c6af595f22ba3bbcb523a","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa38c0b175ea9ff443ec132322c9201d75657077","datavalue":{"value":{"amount":"+0.7453425526618958","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":"Q5278397$76ADF45E-7C81-4F60-8ABA-E13B049D7373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278397"}}}}}