{"entities":{"Q2926333":{"pageid":2937053,"ns":120,"title":"Item:Q2926333","lastrevid":52116614,"modified":"2026-01-20T23:31:53Z","type":"item","id":"Q2926333","labels":{"en":{"language":"en","value":"Concrete semantics. With Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6360948"}},"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":"Q2926333$F0D74B66-A1F6-4AEF-B444-736AD2C4B216","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8703ea3a555abc99b0f5ccb09ef5f411c3336717","datavalue":{"value":{"text":"Concrete Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926333$B63C4C81-E4D5-4E2F-BB43-450F5C7704C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fa251f9e4810d93a32ee56abc0af519df351ea8","datavalue":{"value":"1410.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$398C7540-09A0-451F-945D-E9E418284CB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25c344d03a3190dd7f0ac178071873b0a2f42285","datavalue":{"value":"10.1007/978-3-319-10542-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$41EDD49F-8AF2-4DF2-979B-1140F015DFB7","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":"Q2926333$1002C7F9-6C86-4380-A9FF-C19D6746654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926333$C90AF806-DBDF-4317-996D-CA5E5972D598","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19223fa13371e3ce1b1dd08c8b63557fc81ef3f8","datavalue":{"value":{"time":"+2014-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926333$DB4A2764-FF6D-4781-B19F-BDA232C292C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$CF129E96-DCF9-40EB-9032-FCC4D2CE9C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$5B4CDF67-CCF9-4430-9E5E-26DA82B47179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$1B0651CB-92C2-4E66-B0BD-9AB87A086EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$7E0357CC-B06A-4D12-B748-51A7EC6235F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f377d2830dde10b7504ce5cc64f5a402a37f72a3","datavalue":{"value":"6360948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$6F88A850-38B5-460C-82A5-847B79A49F83","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":"Q2926333$10CCB077-F84A-41FC-BF62-D1EC1E16D778","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":"Q2926333$DF8C5F64-DDDC-49F0-9CF1-03FE7FA05F59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db2ebb0a80381c2d32759a4ebf5a929a15ff481c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10542-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926333$E54A3FD1-1E4E-4CFE-997B-F9621071ED8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d9dc0db205c0c052cd6dd6a6b71701f25200a7","datavalue":{"value":"W4250850800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926333$4229DF5C-CD5C-4C8E-8840-A72CF8138D99","rank":"normal"}],"P1643":[{"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":"7d61bcfbd809ae9759d65b27ebc77f6db634c065","datavalue":{"value":{"amount":"+0.8392695784568787","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":"Q2926333$8E04C81E-C413-41CB-BCD7-CA86071EAE0F","rank":"normal"},{"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":"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":"Q2926333$3D28DB45-CA57-4019-9527-14D2C70C39D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c334ac6483fbc8edd0cf8c7d4e3a5ee4d35781b5","datavalue":{"value":{"entity-type":"item","numeric-id":1798946,"id":"Q1798946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e742d04a936456c4d6735f770602b43e7aee12","datavalue":{"value":{"amount":"+0.8135568499565125","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":"Q2926333$14311223-69B1-43C5-9531-1BC99BE53008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a97a0e1fae6929e37808005d440c828e10c0c0","datavalue":{"value":{"amount":"+0.7985327243804932","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":"Q2926333$D1960717-39DE-4523-BE3A-D58881497884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5db9fe9ac88f3a2ff31d1f0353584e8145fc7a3","datavalue":{"value":{"amount":"+0.7744792103767395","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":"Q2926333$9115EE9F-4244-4B56-BD69-D8B34ABDF16B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2926333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2926333"}}}}}