{"entities":{"Q3086775":{"pageid":3097490,"ns":120,"title":"Item:Q3086775","lastrevid":45416695,"modified":"2025-12-07T16:07:38Z","type":"item","id":"Q3086775","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872255"}},"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":"Q3086775$CE760AF9-D0CE-4E7C-95AC-086BBF342E4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55a86fcf640cfdc44ebef34c0752a36c8482b8de","datavalue":{"value":"1226.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086775$E36F25A0-49AC-4AAD-B598-D1B74C18ED22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086775$5D2553FB-2329-49B4-8F99-22C22B9E6CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086775$75810407-0BD2-441D-97C6-C7A3124475F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086775$A9696D80-93D7-444A-8248-F2DBC727CADC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086775$457338D8-8E3D-49A2-9885-6D9BAE738A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086775$9602BF09-A5C8-4E9C-AFF5-FECEAEB8634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086775$964BCC69-707B-475A-9DD6-D97ADA687ACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a55826a4b90cb1ef613ce44428cce274a87607","datavalue":{"value":"5872255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086775$13B1C0DB-4592-407B-9B9E-AE159FE7E7A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086775$B9836DE9-4EFC-4A13-B6A9-BBDBC7C90799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98cd3c442cf8c03df4f9891737f03aa23b5ef89d","datavalue":{"value":"fragment of higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086775$43C6845D-2BC3-4248-B6A9-B2362C3AB91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c185f14a9de9fd831e0c94820fe6a7595b0089","datavalue":{"value":"\\(\\xi\\)-extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086775$4ECB0BF4-E62E-4B6F-9616-76856D86509E","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":"Q3086775$6CDBD3E2-A6A7-42BE-AED5-1882817E6DD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086775"}}}}}