{"entities":{"Q6567767":{"pageid":14178922,"ns":120,"title":"Item:Q6567767","lastrevid":55703965,"modified":"2026-02-17T21:20:21Z","type":"item","id":"Q6567767","labels":{"en":{"language":"en","value":"Winskel is (almost) right. Towards a mechanized semantics textbook"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876725"}},"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":"Q6567767$0263684E-B074-4E6A-B799-245E70CAACD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3496959ef8ad167f5d21286e61f423df6c2ca8b0","datavalue":{"value":{"text":"Winskel is (almost) right. Towards a mechanized semantics textbook","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567767$472C1C41-B2F3-4DFF-82E0-45A9C67E8A2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8222a96f78ad084314bcee04ee73cd324c6e403a","datavalue":{"value":"1541.6821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567767$08904166-22FB-4B83-B0A9-5C13A4AE14CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d01d6b62dc76e96c236411c8f9488edb0e03d75f","datavalue":{"value":"10.1007/3-540-62034-6_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567767$924C9DB4-CDD9-4576-9F22-B19B953D6AF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$30D75DD9-00A7-49CC-B85F-1F234419E8CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567767$4E088E30-927B-45E0-B747-B62C55ED0133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567767$3ED0A908-D7E6-46A9-9C25-5E710F055E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567767$0BBB1E83-E912-4ADB-B09F-A1C6F0E033DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567767$8FA54BE4-D054-42C8-BD53-0745E8EA74DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a72a240fe1488fb19cab7a826fd82e662b983c1f","datavalue":{"value":"7876725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567767$9CE9B003-D916-452E-8D1E-FE4F9E743712","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":"Q6567767$27F59517-34E2-482D-9EF9-B0D3C145F10D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$C1D63CBC-E176-437A-B263-31CD8F31D94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$1A94BEFC-B4E9-4A04-BF97-C6CB5E3C6AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$44E5AB27-D336-482A-95F2-0BEAB15E1763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960fd40f59fc58f3b7c8f870aba6cbbfd12894f3","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$526624E5-4DD4-496C-8E90-3E240E3B8A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$2AF971C4-E885-49D6-8540-9BC35BDA1DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567767$60879799-00BA-4D3A-AF37-8926EE8E536C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6328892829268e13d65cdead5f98e742e6847e06","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165d6fcd3854a2f43c5a1fe392f47f2b92efad92","datavalue":{"value":{"amount":"+0.9847760200500488","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":"Q6567767$E29EAABF-103B-4003-824A-3A3205D6E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0758cb2f5792b2024ef075b30c81b3d9098b43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1526fde1d49c68f69e6a3f6970c4edf4a71c30e","datavalue":{"value":{"amount":"+0.8088914155960083","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":"Q6567767$8BB60B75-9196-43C5-A0F2-201851DEC3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0976a7b49bf398bfdb652b31dddd4d2f20cc7502","datavalue":{"value":{"entity-type":"item","numeric-id":2891399,"id":"Q2891399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c306c5d2b965a6979c9bba1c0e0cab5715210839","datavalue":{"value":{"amount":"+0.7631698250770569","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":"Q6567767$1448B22C-2A70-4622-AC1B-ED1BE736447B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a56b92f49b4deaf84feb3b1ea35d5d027da5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4945209,"id":"Q4945209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9822770f3a766f83d891a2a22c27ad6fdc99ab36","datavalue":{"value":{"amount":"+0.7539504170417786","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":"Q6567767$FA328DB3-E89B-404F-A873-25F6F88FF57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58fd6243ca5ecfa61b5100df2e972a1ed7fb82","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b26fedbb0abb6a133aa34fb1247ba3c1a1ebd3","datavalue":{"value":{"amount":"+0.740252673625946","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":"Q6567767$4F40FF2F-CFC3-4994-A8AC-A06AD1B0028C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567767"}}}}}