{"entities":{"Q1272764":{"pageid":1283514,"ns":120,"title":"Item:Q1272764","lastrevid":70526412,"modified":"2026-04-13T15:13:19Z","type":"item","id":"Q1272764","labels":{"en":{"language":"en","value":"Winskel is (almost) right: Towards a mechanized semantics textbook"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234972"}},"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":"Q1272764$764D167D-EB9A-4660-8BB8-5413AF514AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed493686ce2057f4205742987cee7ba8abe5e8eb","datavalue":{"value":{"text":"Winskel is (almost) right: Towards a mechanized semantics textbook","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272764$0B61ACC0-2594-4BD5-B3A8-B07C87F60B0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d623761786bc08b6bf170bc1ec098447e49865d5","datavalue":{"value":"0910.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272764$2872CE41-7425-420D-A289-3CFBD210A5C9","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":"Q1272764$E43A8ADF-9ED3-4BCE-97DE-B1FED9C28023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272764$47F554BF-D089-4D32-B28E-A02364C9F2F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2d2d0de991c11088faae65e4b1f5256b03090ec","datavalue":{"value":{"time":"+1999-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272764$50475F6B-C19E-4557-9039-D398ADF6BB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272764$B43F6959-448D-47E4-A916-CF5DAE1CC498","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"073454e03c2a0326d9d8105df31ffbe033bd1717","datavalue":{"value":"1234972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272764$C8276D49-8A0D-4254-A635-05B91FF97376","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97189da21227f046e42d1e19df2a9cb144424e83","datavalue":{"value":"imperative programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272764$536571A2-6861-4AE4-A649-02BBABED9233","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272764$1D3C8E98-B20A-415C-B8E2-8B745F11F9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272764$3CA4D779-2C2E-4D29-AC47-8FEA4ABB1ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272764$1C584DBB-543D-47DE-AB18-40FCAF0A95DA","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":"Q1272764$B5EADC7E-503B-4223-8FF8-55C58178F4F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"825c55a1bf0c54e76ca7e7c8c46ec00cd1af40ff","datavalue":{"value":"https://doi.org/10.1007/s001650050009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272764$04AE70E2-EA31-4E8D-8D70-7E7099B12925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84e25f3fac967196a5179a84b43fa40df5571731","datavalue":{"value":"W2011721441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272764$2CC5E09A-CD00-4C50-8E3F-B8E1EC345E8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a515a2c4d3ca40145f06639cc320b30fcf0cfdb8","datavalue":{"value":"10.1007/S001650050009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272764$A1D6E8EA-A912-4D28-BDD6-7710DE7E8AE1","rank":"normal"}],"P1643":[{"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":"17780bba061d1b492d07a089687716e8d4f035ea","datavalue":{"value":{"amount":"+0.8162993788719177","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":"Q1272764$352896D4-550D-428E-AE06-85663070DCA5","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":"be38d0a59163816616c0bf4ec550dc69c769cbdc","datavalue":{"value":{"amount":"+0.7823148965835571","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":"Q1272764$F1B96C8C-2718-49AF-B0D3-ECE46D2BF0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2566155239714c00e61ec0ef8651340a4fc288","datavalue":{"value":{"entity-type":"item","numeric-id":3400636,"id":"Q3400636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c1410c7b4bf6f29a14c822eaeaa0ab7582a1a3","datavalue":{"value":{"amount":"+0.7540948390960693","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":"Q1272764$BD27A908-6DFE-4C26-8397-CD5ED7B074B5","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":"865c5f3b0621abe1f5198f5ecdca023023bb6d13","datavalue":{"value":{"amount":"+0.7534391283988953","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":"Q1272764$31054182-74FD-406C-BAC4-7540BC836527","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":"173c46b8ba6a0d960c0a0cd386b96808f25e9211","datavalue":{"value":{"amount":"+0.750702440738678","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":"Q1272764$AEAEC48B-3DBA-4DDF-A756-A9B9012DD4E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Winskel is (almost) right: Towards a mechanized semantics textbook","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Winskel_is_(almost)_right:_Towards_a_mechanized_semantics_textbook"}}}}}