{"entities":{"Q373628":{"pageid":375395,"ns":120,"title":"Item:Q373628","lastrevid":61345422,"modified":"2026-04-10T22:46:19Z","type":"item","id":"Q373628","labels":{"en":{"language":"en","value":"Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6216243"}},"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":"Q373628$8FBF9823-A22C-4A6B-88EC-60F771B8922F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4671ed5df74620f31f6b5b71e8d23fa5d4df685","datavalue":{"value":{"text":"Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373628$E18ECEE3-3F55-431E-B807-206437131D21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffd3f2e07b26c69ee7a8868627ed45385914bc8c","datavalue":{"value":"1273.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373628$DCA67E20-F626-4C77-8F50-56061FDFC31E","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":"Q373628$50978594-3AFF-4345-85DE-1A098BA67099","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1b5304373ae38bc09a24211814db713fe903318","datavalue":{"value":{"time":"+2013-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q373628$140C2CAE-40D7-4522-9984-163453786064","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"554532fceba0fc02ec70a015e9ed3f87e9c0a058","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/174/2","type":"string"},"datatype":"url"},"type":"statement","id":"Q373628$099A31A8-78E1-4328-A9F3-DCB368AA950A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373628$86E57A86-A93F-46FC-8C52-8F6E8CC042A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373628$97B4247C-C6E6-40B1-90EA-423B51A90588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373628$C56834D5-F92C-4C65-8D8B-F5ACCEEB1FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f3d24d41a5f7c2e76b389bdd5907f4696fe95db","datavalue":{"value":"6216243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373628$B1A1D537-8B9A-411A-A852-C4E38E53D15B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373628$3FC9ABFF-6560-4537-97C6-BC356162ACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373628$09F3A7BA-5D31-4A4E-93EE-49C5EEA235B7","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":"Q373628$BE8CC967-2960-44BE-B9E0-42ABF2BAADCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338d85556e2605216c16e98b7a4b5bca9d8f7186","datavalue":{"value":{"entity-type":"item","numeric-id":2440903,"id":"Q2440903"},"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":"Q373628$40715DA5-6DDF-448F-B943-E256E347B4F6","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":"63c55a49e8e6ac05c688ed0afea3b1d4ba2bea2d","datavalue":{"value":{"amount":"+0.93561125","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":"Q373628$2F288019-BF04-46FD-B025-75373803A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90f396972d650da89909e0f25c3a6115df475e2","datavalue":{"value":{"entity-type":"item","numeric-id":739160,"id":"Q739160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8591e73f1b22d300cfc0cc6b6df49eced3472ff4","datavalue":{"value":{"amount":"+0.86577696","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":"Q373628$51E42205-9599-456E-BB53-64444B480093","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":"072a329462f4d06e850136e0102e5a0580e5194f","datavalue":{"value":{"amount":"+0.8569196","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":"Q373628$888BABF9-3BC7-4089-B87E-B3198BCF3C6E","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":"881665e09fd58c750f77e27e20bdf3b0e9631487","datavalue":{"value":{"amount":"+0.8543224","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":"Q373628$C8676B78-7D8B-4578-B472-3F136F0D7526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487eb36e866ab148ca0ba2d2d4754ba16789c222","datavalue":{"value":{"entity-type":"item","numeric-id":492141,"id":"Q492141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5a5a01a346cb35858a1449d0f7edc0a77fb05a","datavalue":{"value":{"amount":"+0.8494798","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":"Q373628$1EB1B6F1-23C6-4E32-8C51-7794399F06EF","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":"a066823069e87bbe61e51b90c6c95b4e6d7cf907","datavalue":{"value":{"amount":"+0.84921163","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":"Q373628$3DF8C342-1EA0-4DD1-A7F5-AE6DBF9B992D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670072c83b342ab9ae505897649bbd199353a239","datavalue":{"value":{"entity-type":"item","numeric-id":5082009,"id":"Q5082009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b2e8a838ab19e6b7d359823f58a9471a51d516","datavalue":{"value":{"amount":"+0.8484921","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":"Q373628$7A26FE96-5947-40D5-A0C5-12A1E52F2385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_7th_workshop_on_user_interfaces_for_theorem_provers_(UITP_2006),_Seattle,_WA,_USA,_August_21,_2006"}}}}}