{"entities":{"Q5236546":{"pageid":7266114,"ns":120,"title":"Item:Q5236546","lastrevid":100612109,"modified":"2026-06-05T22:34:40Z","type":"item","id":"Q5236546","labels":{"en":{"language":"en","value":"Preface. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114847"}},"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":"Q5236546$EC9344A1-9055-4CEA-B333-25670C676E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36dfdf2a588730649aac7e00e862754c47194c02","datavalue":{"value":{"text":"A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller\u2019s 60th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236546$958AE532-E7AD-42B1-8190-A2311B9497A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"942f53a816d8b52fafbc97aabc023cb61d3f8f68","datavalue":{"value":"1425.00133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$A71C3837-F223-43ED-BD0A-A476CB78A8C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f56951c08e39fb3b4e6ce85f617305ad10dd472","datavalue":{"value":"10.1017/S0960129519000136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$95A8E4CA-3287-46B8-8AD1-0243107F6162","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236546$DF648098-8CD3-489A-9737-3F94BF5C83E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69528ab356cbcd2b53ea1b91a6f142ab0edc04fe","datavalue":{"value":{"time":"+2019-10-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":"Q5236546$3E765E5E-208F-4B7B-A242-830259024D4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$EC887B88-C3DA-4929-B84D-C3BD5CDC2C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$FCCC4E40-1164-4FC8-ACE6-DDFAB994FE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$032086C4-233D-4FCD-8FEA-E0B1FCAFE490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$E20EA3B1-38BB-463A-B941-10C86290BC03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23912bd6096303b3f58d2859fef1d5663143ab9e","datavalue":{"value":"7114847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$11C2892C-23B5-4462-A952-76154F9DD316","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":"Q5236546$E94CF2C2-BE4C-4E61-949D-AD4F8B0E0A8A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1ba4b11409fe98b8433af900b18e166a39e8f56","datavalue":{"value":"Q122392638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$50B4E4A3-0263-45FF-B45D-D61D8C806DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eb1f2c3f2fafb84451ee7e283ca68ca34c7e7bc","datavalue":{"value":"https://doi.org/10.1017/s0960129519000136","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236546$78F6DA4F-8720-4DF8-8F48-CB46A282239B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d2a64af52e592b9e9f843b5c201be14109b2452","datavalue":{"value":"W2979931682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236546$CE1139ED-5742-4A5C-B92E-2A970F03FD8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34290f0a6534711dde061de380b58a4ff758746a","datavalue":{"value":{"entity-type":"item","numeric-id":2360870,"id":"Q2360870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d691a994b3e41ba72fdb7be58e46dd62e413502","datavalue":{"value":{"amount":"+0.7101265788078308","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":"Q5236546$78899F61-F6A5-4F10-8CA2-38926DCDAFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6a42987929c974ec8e241ec0e17d2affc0dcaa","datavalue":{"value":{"entity-type":"item","numeric-id":5225849,"id":"Q5225849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b153d6a61531adf0c9ac74f10c2237253f2798d","datavalue":{"value":{"amount":"+0.7022935152053833","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":"Q5236546$476C9842-62E1-4DA2-BBA9-A19805A81147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67715e08eba89d83f710090647840a2cb2967709","datavalue":{"value":{"entity-type":"item","numeric-id":2051561,"id":"Q2051561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61899f50754177dce2f4ecac827be71606caa977","datavalue":{"value":{"amount":"+0.698302149772644","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":"Q5236546$929B5C89-959E-49D5-A533-E99764F2C6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc30fc963239e5f816a9f8768b8030c5b65acb79","datavalue":{"value":{"entity-type":"item","numeric-id":2351152,"id":"Q2351152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7878a44e4edf1fd5bac1ff4c25fa81444f4e1a","datavalue":{"value":{"amount":"+0.6953333020210266","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":"Q5236546$026CC056-E69E-4B54-85F1-ABB41D8BBE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622ed426ca28e7f67d55c73be0df243eeb6e8669","datavalue":{"value":{"entity-type":"item","numeric-id":5895066,"id":"Q5895066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259f27384bc2f041b19df1b22c90c2d2d95b0959","datavalue":{"value":{"amount":"+0.683797299861908","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":"Q5236546$FE696DA2-AFFF-43E2-A79C-ED9BE5B6B083","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preface. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preface._A_special_issue_on_structural_proof_theory,_automated_reasoning_and_computation_in_celebration_of_Dale_Miller%27s_60th_birthday"}}}}}