{"entities":{"Q3612442":{"pageid":5642348,"ns":120,"title":"Item:Q3612442","lastrevid":50600993,"modified":"2026-01-14T12:59:05Z","type":"item","id":"Q3612442","labels":{"en":{"language":"en","value":"Constructive Type Classes in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527181"}},"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":"Q3612442$6BC7A16E-7C51-4331-81A7-747E979CA7C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"904053e30b94ed657b4e5c70e69a6c82e9a35c45","datavalue":{"value":{"text":"Constructive Type Classes in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612442$A7E8E409-B98A-4727-9A34-F3CAE198CCE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"551ae9ddabe483b857ba54910eefa9302eb34500","datavalue":{"value":"1178.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612442$719C1F0C-11E5-4481-A605-7A47198BB154","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47b7ac9db3bd946d6db43252e8c42b352bec6ea9","datavalue":{"value":"10.1007/978-3-540-74464-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612442$B6647B50-3147-417D-91CE-47B6D3BCB576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834e780fa83e41c00339343618afecbdebf7a197","datavalue":{"value":{"entity-type":"item","numeric-id":2913942,"id":"Q2913942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612442$082A380C-2C5C-4074-A828-ED7BBB5741DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a162d67ca0f0da05fadb758011f7efa5d1e07db6","datavalue":{"value":{"entity-type":"item","numeric-id":287364,"id":"Q287364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612442$EA5632BA-B169-4DFC-B4B5-610384AA20B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612442$FA3B06D6-3EEB-41B0-9936-499D3E5ADA99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612442$4AB3AA21-642E-4F4F-B721-2B0C9803DF3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612442$FFFA98DD-808F-4CDB-906D-90BDEAD218F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612442$3C1FAAC2-97F8-4D30-8303-84BDB6FEE2EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e5024e85f4f47f6aff73c5dbee62e5943b2a662","datavalue":{"value":"5527181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612442$1F898F86-81DE-4D20-B641-F63637CA6AB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612442$1E240423-B6D1-45B5-A1BC-3FAA5527D352","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":"Q3612442$C60839D2-33C6-45EC-9F33-7D50EA2090F0","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":"Q3612442$98BCDA78-CA7B-4ABC-A577-916DC50D1C99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53f2eca39f59ae4b12f9b400b9836d7dc2fbb8c9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612442$18C26DF2-0CCD-4CAA-A7D1-4FBE15BE35EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36a56ea37c5f1a38538805627066952af9b96364","datavalue":{"value":"W2146104088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612442$D3AAC687-747E-49FE-838F-A9E5EC011A64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a9029c579443652ca87e3ccd05cd013717fba0","datavalue":{"value":{"entity-type":"item","numeric-id":5212038,"id":"Q5212038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bb5305e7699fbfce093bf501a7b4f1838c92ff","datavalue":{"value":{"amount":"+0.8107626438140869","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":"Q3612442$4C7D5222-C1E7-4169-B16A-6962267AFF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00be21f476e85b1dd13b11a94c13f75ce187fdf","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc94b0bda87fad0025e5cc08b3ef5eb7be6d9cb","datavalue":{"value":{"amount":"+0.7893698215484619","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":"Q3612442$F1556017-2B64-42F1-B9CE-CEBAC8A8B693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc48efbdeee56bca3f2742f8b5286de45a51ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5477652,"id":"Q5477652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cf1f8c454b856d55e0bfc75ae89b948d795780","datavalue":{"value":{"amount":"+0.7881259918212891","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":"Q3612442$78BAB942-F64D-432E-AA8D-82702B648F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00741d8653e7ff3ed03255de9dc4a5ba9833efb9","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1aa470a7763cd6bf914d9baa4048e6c00c6055f","datavalue":{"value":{"amount":"+0.7570943832397461","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":"Q3612442$657C819E-F658-4D9B-A5DA-3927A3B03A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7c1a54ab27e12e93b5f88592fad38e53df67ad","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2307d770b0bdc8f9c623b71ffdabcc4feb6b44f4","datavalue":{"value":{"amount":"+0.7430416345596313","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":"Q3612442$47B680E6-6BAF-45C5-AC54-21493A2CEA3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612442"}}}}}