{"entities":{"Q2907353":{"pageid":2918078,"ns":120,"title":"Item:Q2907353","lastrevid":58065825,"modified":"2026-04-03T16:19:05Z","type":"item","id":"Q2907353","labels":{"en":{"language":"en","value":"Isabelle/jEdit \u2013 A Prover IDE within the PIDE Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079522"}},"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":"Q2907353$F0EB33D0-6BE4-48E0-8CE0-AAC03410362A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d645a24c140d59b3022dc0a0327e0dd78da0756","datavalue":{"value":{"text":"Isabelle/jEdit \u2013 A Prover IDE within the PIDE Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907353$D830EFF6-A141-4F31-A520-FBA5D2C4F9B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4966bdacceb4954295b5b9340f3f74cb8ed4479d","datavalue":{"value":"1360.68769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907353$D7055F55-8F7A-44EA-8BE2-1F53491F271C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7837c3e9e4bca78793ab42a2a2c990b7cfe21b19","datavalue":{"value":"10.1007/978-3-642-31374-5_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907353$BA65BCEB-B95D-408B-AC20-9293D3C93076","rank":"normal"}],"P16":[{"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":"Q2907353$22451ED8-E6C1-4C09-BA86-6F0D6A50E867","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":"Q2907353$7C349A87-A3ED-43FC-930A-1AE2D384A968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907353$59F4383F-AA8B-4A39-920F-251E16B92DB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c655e0bdcc7e8cc391966f9bd65b7de9c38e422c","datavalue":{"value":"https://arxiv.org/abs/1207.3441","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907353$93AB5AF2-BF21-44EC-BD09-B4FB0769E235","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907353$496A3751-CCBC-4945-98B3-9C9CA5B1C396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907353$43872F1B-F5B4-49EA-A636-7B0F3AC422C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f14c5dd1b70d371d6a229c956e2a26fc24e07eb","datavalue":{"value":"6079522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907353$03ED7DE2-AA37-401D-B5CA-2F569F53B6EA","rank":"normal"}],"P1463":[{"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":"Q2907353$28EBB641-2C63-4D5E-8FB1-A0D54E5AD84A","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":"Q2907353$9911669A-B196-4E3F-97EE-409E9E93D613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907353$C9341651-0EEF-4EAA-8330-90B0723F929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f3a79325084bb9581f818a34ab0d021b48cde68","datavalue":{"value":{"entity-type":"item","numeric-id":19238,"id":"Q19238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907353$A67DC51D-615D-4F26-8DB0-4BC56BE70054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907353$D8CADD59-966B-44AA-BF1B-BD9AEBBAD380","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":"Q2907353$ECB4E9A9-C986-43A0-8B54-A40344B8BD9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97c4daa83383f40936ca3ed5c7d0f0204704a3bb","datavalue":{"value":"W1719912185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907353$34B2D69A-8357-41FC-B013-CAEE340E8C2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353f83759ee34b781b1cadc49c3f90042799760c","datavalue":{"value":{"entity-type":"item","numeric-id":5200122,"id":"Q5200122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b1f69b6009a2f6608eb4174e34d7fcfcb3d3da","datavalue":{"value":{"amount":"+0.8606053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$C269972D-A6B6-469C-B76E-EC4A14832B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea3f33b6db43d9dd3c4f184c10e76950834e5175","datavalue":{"value":{"entity-type":"item","numeric-id":2829283,"id":"Q2829283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3367a2c7c91808d312477132ad26380ad93e4abc","datavalue":{"value":{"amount":"+0.8534133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$74BF1BF0-608A-4840-8DF2-A027C84F2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2354685b260f18674ebd054e43dc88ce09d927c7","datavalue":{"value":{"entity-type":"item","numeric-id":2055847,"id":"Q2055847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37401a610ac85d1622d1f2cfd596c3124fb4d205","datavalue":{"value":{"amount":"+0.84550023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$4E5D7C73-2E99-4559-9019-3E40758C5094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66722325834f65fa04ece2b13a78e7f4286fc92","datavalue":{"value":{"entity-type":"item","numeric-id":5505513,"id":"Q5505513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bb1f2c334cba16e3f45f1ff7fe260920f58066","datavalue":{"value":{"amount":"+0.84259784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$3A45533F-EAAA-47C7-A331-9BA77B660006","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":"90dcc43324b39fba81142bd1c610905fb5b00e0d","datavalue":{"value":{"amount":"+0.84215873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$8572410F-FAAC-470B-986D-1C0AF0119EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920441f7c620bcab29bf4b5663cc031d0c1265fc","datavalue":{"value":{"entity-type":"item","numeric-id":287365,"id":"Q287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca49d2f09c70c3b9b001d933ddb5735f86f08bf","datavalue":{"value":{"amount":"+0.8421587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$BCE7E657-D44B-429F-B969-A61C473BA795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ce0dd68c34fee86dbc0dcdfb4e22edb9578ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5170238,"id":"Q5170238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf053aacb7c8482e1991ee6cdf803a84cf944cc1","datavalue":{"value":{"amount":"+0.839869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$6A258D61-BF34-40C9-BC6A-AFEABAF1A564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0783d322e8f85ae9785210c3d8bd9cdfc4bc9de5","datavalue":{"value":{"entity-type":"item","numeric-id":2055899,"id":"Q2055899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf675522023802a016451972700430d0c920a9cf","datavalue":{"value":{"amount":"+0.8385643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$58185F77-1390-4899-8C7E-CD5EC91C0DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015f08da7d61ebd6f15f37f6462e4aca21ca0f37","datavalue":{"value":{"amount":"+0.8362912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907353$57BE4590-148A-420E-9738-98D6F044D4AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907353"}}}}}