{"entities":{"Q2440903":{"pageid":2451646,"ns":120,"title":"Item:Q2440903","lastrevid":44088666,"modified":"2025-11-19T20:22:27Z","type":"item","id":"Q2440903","labels":{"en":{"language":"en","value":"Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6271866"}},"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":"Q2440903$AB551984-5678-440E-AEDC-0393EE706D14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ff7c4595f7040c0bcd05d5b3215b7bfd44bbdd","datavalue":{"value":{"text":"Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2440903$A81472A0-F79A-40D0-A11F-6C596F9D3F69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"822d287045d7e0ab1c5c9adb8c6c7b462a23a2d2","datavalue":{"value":"1284.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440903$AAC6892F-4D1C-4967-BDDB-9FC9344815A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440903$D0459CBF-7952-43B3-8C0E-BA94B710F1D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dacf476321f124c319cff8df5e728b0d792bff0f","datavalue":{"value":{"time":"+2014-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2440903$BA954B09-6BF3-438D-AB0E-0C43FBFE31E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fda03311a55285cfcae863e7f06a89359429310","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/285","type":"string"},"datatype":"url"},"type":"statement","id":"Q2440903$35423BDC-94CA-4BAA-9BF1-2FB15C1C6E75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440903$B70F0413-31EF-481C-9CCE-758550350C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440903$9CADA9C9-87F6-4D8E-A408-F2552222A017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440903$3E41AAC9-494B-4C84-B8ED-16436036B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440903$1490A4D7-9575-4C33-8B59-AA2844B785BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3aced38a8c970088d19757eddc3c0a2eb135ef2","datavalue":{"value":"6271866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440903$4E5A2C99-F37F-4AD5-BA05-23F9E5B6263A","rank":"normal"}],"P1463":[{"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":"Q2440903$21848E12-DBAE-4FBE-98D2-F5611D59E2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440903$1CC05B1C-1B99-4FB5-85FD-97739C51ED03","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":"Q2440903$A255D33B-8D5B-4634-A0B9-1F3C0A77CF3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2177e935c0b11f81906503c10c7ddf480a573c2","datavalue":{"value":{"entity-type":"item","numeric-id":373628,"id":"Q373628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed343d13f760968ce3c563e01b4e92b29cc89fe","datavalue":{"value":{"amount":"+0.94101393","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":"Q2440903$CE8C1EE3-3A1B-400E-9B12-F67EBA7C5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d533cd784775f20f7049780a66815d475b04a222","datavalue":{"value":{"entity-type":"item","numeric-id":389038,"id":"Q389038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9d2d6927de800fc5376b1f7114fb0ae3046962","datavalue":{"value":{"amount":"+0.9290217","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":"Q2440903$09D688A7-4920-4437-9734-BE064FB16539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e4209c588e3694bf478a18c1aa10c3d531b398","datavalue":{"value":{"entity-type":"item","numeric-id":983522,"id":"Q983522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4135a5e4d867fdbf1afc98e25f777dd937417727","datavalue":{"value":{"amount":"+0.904843","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":"Q2440903$FBBD8348-9EEA-4C83-B8E3-3A7C277A0623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b633470c04b4c2f7b9d6c96484a6095e0d74b90d","datavalue":{"value":{"entity-type":"item","numeric-id":5240588,"id":"Q5240588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e3e18fd9d94489903b7e59de53b3acded52a09","datavalue":{"value":{"amount":"+0.87788683","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":"Q2440903$F8311C88-12C6-4144-B35B-CE8DDB5178C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7c173474ade9293d6f21770558e8068f4dace3","datavalue":{"value":{"entity-type":"item","numeric-id":441467,"id":"Q441467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8d7195aef9124e606dfb975a48929825f6272e","datavalue":{"value":{"amount":"+0.86162055","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":"Q2440903$E5A3C40E-E0D6-409E-B38B-4FF2ACCB7859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbcf6ac7b922960650d85d7ae515431b7d8a054","datavalue":{"value":{"entity-type":"item","numeric-id":4267722,"id":"Q4267722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e0582e92094d5e49f9a065d42a0e553064ce50","datavalue":{"value":{"amount":"+0.85804015","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":"Q2440903$3AA8CE60-4BF8-475C-99AD-F7C3430A15E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11054f2132f2f7db7598113e469784e3e64679a","datavalue":{"value":{"entity-type":"item","numeric-id":2276054,"id":"Q2276054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259fc943d51dce24d9df52f780c46f603b032491","datavalue":{"value":{"amount":"+0.85340667","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":"Q2440903$079FCAC9-F3D9-4BFC-A7E2-0A31B590169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b334918dd1a2aa0f0f022268f87ecb12c10c047","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddbd66017a0c7454372568a8195c05b06eb265d","datavalue":{"value":{"amount":"+0.84975433","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":"Q2440903$805143C0-F4D5-47EA-A07E-1FC79ACA3AF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2440903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2440903"}}}}}