{"entities":{"Q5049032":{"pageid":7078609,"ns":120,"title":"Item:Q5049032","lastrevid":37455624,"modified":"2024-07-30T17:38:24Z","type":"item","id":"Q5049032","labels":{"en":{"language":"en","value":"Sequoia: A Playground for Logicians"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614693"}},"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":"Q5049032$362A5DE8-504F-4ADF-8E59-50F0ABA4E47F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f78d506a024428c46e3baa36961b1063c69b6fc4","datavalue":{"value":{"text":"Sequoia: A Playground for Logicians","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049032$C81903B6-7253-4AD2-9FF6-D2313D738E03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb1831f34948575c41f68d4c6264f0840f97ac8","datavalue":{"value":"10.1007/978-3-030-51054-1_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049032$19DA501A-4A86-4B2B-80D7-532301B3CD0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$9D959033-47C2-428B-B5EA-9FC88551EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1639f4550b8e4a606003c89dfad97dc2c190bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5049031,"id":"Q5049031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$F4ED6DF5-6890-4404-8EB8-6B3FA196F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3471df98870c949d73b02ee35bbdd235bfcb0a69","datavalue":{"value":{"entity-type":"item","numeric-id":2019568,"id":"Q2019568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$27AED6C2-29F9-4B95-8419-FF6E6548B535","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$49EC7D3A-C107-448A-85E8-CCF353D4A737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049032$493D55AF-35AB-443F-A355-40D014EDD6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049032$75995F2E-7891-4513-9D88-7C7CA113E54C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3378402af365aa90faf38fd33ff7b99c81c12cb","datavalue":{"value":"7614693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049032$1A189DBE-2394-4D71-93E6-3569863D8DD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049032$DDE3C01B-32FF-44D0-BA54-AB6366A09838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03ba9b47a7f939b3f15ddeae5c0d9e27b0de072","datavalue":{"value":"meta-properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049032$21F57705-7B59-4CC1-8EE0-9373931DC500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47cec5005f9b2a6b757ee4fc4d3ee376f0a2f0","datavalue":{"value":"web-based app","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049032$1DA70EA3-4AFC-4495-9798-D2959A6DE66A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a19b37c9961602b597fd4be2ef6dfa67600843fb","datavalue":{"value":{"entity-type":"item","numeric-id":22013,"id":"Q22013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$A4831318-758A-456D-89CB-67244C314953","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":"Q5049032$B6A4E698-53BC-42DC-851D-E33CC5806D44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f4433256a1c2d70b71a765db1363be507ac1120","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049032$926FF260-6A6D-4BA4-A49F-355D07F05036","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3703197d593d8c11a05f7e870d97302c98ce1b7","datavalue":{"value":"W3039549667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049032$A5B2BD0D-B668-45E6-B712-CF028D849DA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$07A336AE-0124-439B-84AB-8839023E01D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c66691adae087c113fd4ce4709d6fb4ddc93a9","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$53E3DDD4-F9F1-4F0B-AC8E-0179B1CD818A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9777a86b00ead6a8d4129c251669fca93882f1","datavalue":{"value":{"entity-type":"item","numeric-id":3192195,"id":"Q3192195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$00FC4C24-424B-4DC8-BF37-53D4348579F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63584a39cb19f1f095f6ac9678dfa0d3b74a7a8","datavalue":{"value":{"entity-type":"item","numeric-id":6164538,"id":"Q6164538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049032$CD84A609-1CA0-42A4-BB6A-70AFD32F9253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049032"}}}}}