{"entities":{"Q2879273":{"pageid":2889993,"ns":120,"title":"Item:Q2879273","lastrevid":52085393,"modified":"2026-01-20T22:02:53Z","type":"item","id":"Q2879273","labels":{"en":{"language":"en","value":"Asynchronous user interaction and tool integration in Isabelle/PIDE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341502"}},"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":"Q2879273$13D6E335-633A-41DD-AA11-4FDF0244108D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"503419f1aa991f377c58462c1e712b3eb89d0630","datavalue":{"value":{"text":"Asynchronous User Interaction and Tool Integration in Isabelle/PIDE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879273$7A8D1669-0B3F-4F99-A678-5E862C173C46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fcf03b2b53524244de86b4d403b6960fd80d461","datavalue":{"value":"1416.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879273$3A52A497-CA35-4129-9B55-70C07419AC85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7b41bb030eaccd7ed62a7c7cf907484b272b15c","datavalue":{"value":"10.1007/978-3-319-08970-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879273$633F3933-39A1-4784-ACE0-46C3A0FB684C","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":"Q2879273$85A07BBB-06B5-44B1-8A31-4385072AF83B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879273$4F2A88AB-CDCD-4F2E-9362-55D44B03AD15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879273$50770755-F807-4A4E-BCBD-297FAF14628F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879273$8F724498-2B90-49AE-8D92-F40FEF2F19AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42c44345c5b3174998755f6dfe623b08354b5b02","datavalue":{"value":"6341502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879273$2B6175F0-1958-49DF-896E-7C3B092BF3BD","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":"Q2879273$AF58B806-B4D2-481D-AC65-081E78950E67","rank":"normal"},{"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":"Q2879273$31D90FD8-9568-480F-8130-EC77C3464538","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":"Q2879273$C6B6DDCE-0591-40BB-AEBF-FFDD05F12298","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":"Q2879273$3A8190D2-E523-4FC0-A4B2-A97CAC3420C8","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":"Q2879273$9AFA7AAC-22E9-4DAD-A24C-CF58A35A4984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879273$AA582F7A-1F31-4874-87B1-B3B9D501FED8","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":"Q2879273$112641D6-B096-4CDE-90D3-2F40B33AC123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0aae91b3cebe1e84c9813205ff5ebc7d8b0f6804","datavalue":{"value":{"entity-type":"item","numeric-id":18521,"id":"Q18521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879273$A2EFB143-E419-43E3-9E95-E764D53B73A2","rank":"normal"},{"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":"Q2879273$F03740E9-951D-4648-AA86-0CAFEE0BF358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879273$77944F80-90B3-492B-912C-04567564B5CC","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":"Q2879273$113C01AE-4C26-4FD8-95F5-79822217DA45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"313fcbae9364a214d8c51bd1244ec5c7c4d6597c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879273$4B7457EA-6418-44AD-8633-AD0AF4BDE01F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdd6b3defdebbe969c77f5d996a173caa61cbe62","datavalue":{"value":"W246379881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879273$CFF15DCD-63AD-4BE0-9EF5-3EE6A6FAC3E7","rank":"normal"}],"P1643":[{"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":"66f1bd4b32479e0130e8e0642a4bcb8661f6ee75","datavalue":{"value":{"amount":"+0.8598070740699768","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":"Q2879273$7454761C-E6EE-4B65-A164-C7D5BB662497","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":"891644cff8520c5c1b902415e4befccb665f0c5a","datavalue":{"value":{"amount":"+0.8402413725852966","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":"Q2879273$E5369481-85C0-488C-8D9A-4EA6C11A77A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434cd42d99560dd27bc63e560daa4f5a831f5dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5166497,"id":"Q5166497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da8795114266f85786127842efda75390b16a54","datavalue":{"value":{"amount":"+0.8125990629196167","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":"Q2879273$B3EEA35E-E7A9-49D0-A8C9-E535FFFB93AB","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":"8dceea579efae70c50687e5cbe4bdb542f2c19cc","datavalue":{"value":{"amount":"+0.790364146232605","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":"Q2879273$C1C42F3D-245B-47A4-86D0-84824D8C70F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc188bfb4ad5c58a3146fd1cfb32723c348e1eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2843032,"id":"Q2843032"},"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":"Q2879273$845595B9-2BD1-4860-B727-09C452422DE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879273"}}}}}