{"entities":{"Q5088085":{"pageid":7117661,"ns":120,"title":"Item:Q5088085","lastrevid":41637628,"modified":"2025-05-06T16:09:17Z","type":"item","id":"Q5088085","labels":{"en":{"language":"en","value":"Proceedings Fourth Workshop on Proof eXchange for Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7552775"}},"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":"Q5088085$0DDB8E69-F089-4AB8-BC07-93CF14B4622E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf86874587e33b78bb6d301c5139e8b8c298fa0","datavalue":{"value":"1490.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$1967279A-2F42-4788-BECF-631F14BAA300","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c0c31aa51f8d0e99a95877b47774d3b83970ab8","datavalue":{"value":"10.4204/EPTCS.186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$48932274-CD73-44D3-AA35-AC19273A39D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5088085$C7A9C2E2-08CF-492E-8B53-63BDECEB098D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3a317d5439430e57df8d699676f1d9eb67bdbf3","datavalue":{"value":{"time":"+2022-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5088085$209F2838-45BE-4AD1-A2A0-F4062D837C52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4abd017b7bbc2e0afa5a1202f529b8988c2af61","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?PxTP2015","type":"string"},"datatype":"url"},"type":"statement","id":"Q5088085$C5EC4A41-744B-49C0-ACEF-3DF003FA98AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$929F6B41-010B-476F-89CD-B6363207AD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$3B964AA1-BF44-48E3-B8B2-4457FE6AE962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$9543F81D-8062-48D9-A20F-A9D1DA150241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ddf78240d24c61c67be1b534a4a99f1b7971fb","datavalue":{"value":"7552775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$0761E8AE-21B3-4D55-9FE9-BEF977A9ADBD","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":"Q5088085$258C0E14-FCB0-433B-8216-88433832628D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2467bd648fbac9cae05a5aef4eaafb2701479818","datavalue":{"value":"W2268050024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$39D6733C-A375-4DB1-8355-F5106A3226B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70932188a8badd7d941b3bd2187c34cd4ee5e723","datavalue":{"value":{"text":"Proceedings Fourth Workshop on Proof eXchange for Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5088085$5658E94E-6EA8-49F2-8DB5-48186CC1294F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2cc244c7246d3f12222ba4998fd7b6d51a5db72a","datavalue":{"value":"Q108482159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088085$EB112CC9-1803-42BF-A334-508444216745","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564737f1883c1089d84e7fe930ec6ccfbd32e92e","datavalue":{"value":{"entity-type":"item","numeric-id":5088163,"id":"Q5088163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67c6bf07769290945f6436a4e09c36af1c96cc7","datavalue":{"value":{"amount":"+0.9236812","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":"Q5088085$98257A56-146A-4925-9A0C-C7318C96F6FD","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":"86815169bfeedda194c3a238b6074513c2d2f654","datavalue":{"value":{"amount":"+0.9152869","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":"Q5088085$94CBCBD9-1405-4C19-BAF8-6428624944E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2974c428cd81dd20af97a350c3d7d39208b78c","datavalue":{"value":{"entity-type":"item","numeric-id":5088164,"id":"Q5088164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c3e1ea3a4520aec17756cbd3b564bc9436d379","datavalue":{"value":{"amount":"+0.9125713","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":"Q5088085$003FCE46-F748-4B1E-909F-015D8BCBEC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f8ea5dbbfb8cd81f61da2e3af1cd885e7fb9e8","datavalue":{"value":{"entity-type":"item","numeric-id":5088167,"id":"Q5088167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1c8a58a40a26f86b7668c4ee77a64ce6f85fa1","datavalue":{"value":{"amount":"+0.861489","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":"Q5088085$49031795-B30C-4E9F-88F5-1341B3F0D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f875caad3248ec793d0a44f3a47ce79c6f08ae","datavalue":{"value":{"entity-type":"item","numeric-id":5088168,"id":"Q5088168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e09c53edd2801dba83931fdecd140ed4e0f520e","datavalue":{"value":{"amount":"+0.85992575","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":"Q5088085$2E685D53-665A-4598-AF77-5609B56FCE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882abcd3fa0c783d3856c03c5aac03978e361894","datavalue":{"value":{"entity-type":"item","numeric-id":5088169,"id":"Q5088169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57dc086c525b7446c8777d2497e7b59d80c15cf9","datavalue":{"value":{"amount":"+0.8578713","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":"Q5088085$181D7E72-D073-4717-91EE-1E8812238ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938974d8e51333b61bcf751a38496e1c409a1f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1273566,"id":"Q1273566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c075ee667025c7c6581b23b7ec0caa08d0075c2d","datavalue":{"value":{"amount":"+0.85363406","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":"Q5088085$613D783B-D28F-4538-9DF1-0C9034D80EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b53b1150771a069e955c8a087c8fce121871ea","datavalue":{"value":{"entity-type":"item","numeric-id":3454221,"id":"Q3454221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949ba3c58d4b5729a5b7139d9c12fc5e7ca8ecfe","datavalue":{"value":{"amount":"+0.8535727","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":"Q5088085$E006F2EA-181D-40DC-BAFE-2DB9CBD6C126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476c597c5e96897ae719516aebf3ea44ed026315","datavalue":{"value":{"entity-type":"item","numeric-id":5088170,"id":"Q5088170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f18828a219fa526c011626a7c2f72e3f6f268b0","datavalue":{"value":{"amount":"+0.85195035","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":"Q5088085$4427243D-7070-4EFE-860A-71A3D80BC3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070bca43d659bb1c1acee00c1d6d902daa318c24","datavalue":{"value":{"entity-type":"item","numeric-id":1899139,"id":"Q1899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae52d72e7495b804206250e297e7ba38476cd29","datavalue":{"value":{"amount":"+0.8517305","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":"Q5088085$579D9BC4-CFAE-4C9E-958B-92513410972B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5088085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5088085"}}}}}