{"entities":{"Q2843032":{"pageid":2853752,"ns":120,"title":"Item:Q2843032","lastrevid":51796988,"modified":"2026-01-20T02:17:10Z","type":"item","id":"Q2843032","labels":{"en":{"language":"en","value":"A web interface for Isabelle: the next generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197192"}},"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":"Q2843032$33299C71-45F4-44A8-9FB6-6EA3FCE6D37D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dd93df9cae913d866b7f403638484247dd21938","datavalue":{"value":{"text":"A Web Interface for Isabelle: The Next Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843032$A2797A9C-C411-4658-B359-42C2B5C8A0B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d3d5e5aacbe0be25951fac56919d2baf50e97c","datavalue":{"value":"1390.68580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843032$40D05C0D-E82E-48D4-AB40-20E12574442B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed8bf9d1d64a17d001df629c4807092089c50ba1","datavalue":{"value":"10.1007/978-3-642-39320-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843032$374F60E5-EBB6-4033-8F4F-A9407F3EB048","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843032$2B6A22CE-2A58-4EBE-B57D-94F37BF77D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947f1dc3713590d96d83d6fb4f2f7ef157a9dac3","datavalue":{"value":{"entity-type":"item","numeric-id":2843031,"id":"Q2843031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843032$F491F362-7EAA-488A-92D6-87BACE65E9AB","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":"Q2843032$380C0E08-F066-4C16-8AC4-255A125C48E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381d46b885a4d4a1524f419ca9a0dc18cd8f863b","datavalue":{"value":{"time":"+2013-08-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":"Q2843032$A8A49A4C-E77C-4D37-A009-4F6D0954B113","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843032$17E75DA2-52F4-4F34-A4F7-C076C1478F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843032$BC0CA28A-6891-448E-8695-03C2D96CC21F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6977277c34f3f00b560152ef79525709eb9d76","datavalue":{"value":"6197192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843032$2E3CDFB4-849F-48C6-8205-3FFB53EBF03D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843032$FCAEC90A-5114-4AE8-9CB5-1949D2B892E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a02c8b1ab8ed182d6b6b861d09c8de6f71d04c","datavalue":{"value":{"entity-type":"item","numeric-id":21661,"id":"Q21661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843032$888C07F7-08CA-4C0B-8A03-9A83E9D36768","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":"Q2843032$262CA6A2-E19A-4A79-8DB9-7F05B54E6068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843032$1EE46DF2-6381-4C73-B38A-93A997A7AA41","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":"Q2843032$301A1305-9608-4B4A-B7C5-241323C9DBB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f68b5b0a36fdb54dbad9de554b6a93506b4acf8e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39320-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843032$D22D0E8D-0895-41B7-8356-3265B7A11E79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37091426716f28efdbda08a4381548b92cf37fd2","datavalue":{"value":"W146139260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843032$2371F6A2-DEBD-4ECE-8858-8D1FA7E1BA7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb049dc19118c2e13b11c57ad63c65e40f939e98","datavalue":{"value":{"entity-type":"item","numeric-id":2879270,"id":"Q2879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7ca9245d799426809b3164e9cd8cbf665adc83","datavalue":{"value":{"amount":"+0.8779432773590088","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":"Q2843032$EA927CB6-A166-4851-8D58-233E798B47F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8969524bba3b69314c5304db3a787ffb2b884759","datavalue":{"value":{"entity-type":"item","numeric-id":2867935,"id":"Q2867935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26fbe023ab93c8cf92060bedef7ddceee3ff2a5","datavalue":{"value":{"amount":"+0.7956355214118958","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":"Q2843032$6C5E2AEF-4F4A-4439-9AD3-71ABCC24620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfe76c583713b55eadf25fa3d88d354ebc06b63","datavalue":{"value":{"entity-type":"item","numeric-id":2879273,"id":"Q2879273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7db191722f7420560ae1259225a00b6b673f62f","datavalue":{"value":{"amount":"+0.7885292768478394","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":"Q2843032$2C2231B2-6204-4DC7-BF07-D2B969260517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df287ba4711af7eb66eb6c4530853de65788cc26","datavalue":{"value":{"entity-type":"item","numeric-id":2287890,"id":"Q2287890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17d92c906535cad189614005e6ac11d9c8acc3a","datavalue":{"value":{"amount":"+0.7714710831642151","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":"Q2843032$6ADBE7F1-7D0D-413D-8B90-ED10C1396754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f08116115338796ec9b797ffb39cc7a493db2f","datavalue":{"value":{"entity-type":"item","numeric-id":2907353,"id":"Q2907353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff3cbad3651e972a33f571aeb99c16eff035216","datavalue":{"value":{"amount":"+0.7680940628051758","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":"Q2843032$E993119C-463A-4185-9A12-E1D69B223B05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843032"}}}}}