{"entities":{"Q5088164":{"pageid":7117740,"ns":120,"title":"Item:Q5088164","lastrevid":37115168,"modified":"2024-07-30T08:37:25Z","type":"item","id":"Q5088164","labels":{"en":{"language":"en","value":"Proceedings Sixth Workshop on Proof eXchange for Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7552935"}},"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":"Q5088164$729C37CF-616A-4201-8B23-29248912AE6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7f78b44d05c455b2ad1c76d85e2401d55531355","datavalue":{"value":"1490.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$3D59FBC9-A08C-44DA-BC5A-FC2709DDF5CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ecd3a68bf82b11f4c5cdf43d8f60117ec5d8f13","datavalue":{"value":"10.4204/EPTCS.301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$B513C739-1DE5-4173-A29E-D2062DCD082B","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":"Q5088164$342616F6-5459-45DF-A81A-C91FC98C5469","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":"Q5088164$410FB600-CAAD-4A09-A16D-674F6F132458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ee7177e872aee7828111612bb099d91a3fa80e0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?PxTP2019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5088164$86E43E59-146A-420F-97D2-E1A181098B88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$03C38EFF-8463-4BE7-B228-C658A968DE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$94DB8928-01DF-4F6C-B7E9-B38044D8642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$A4293D62-7003-4CF7-BFB3-A3E4A2DD4140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c6e94f0dcea63d3b623362e1ebc1f006fc306b","datavalue":{"value":"7552935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$5E44498B-4E3D-4FC1-827F-9AD8D88D3338","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":"Q5088164$0DFF4EC1-52BE-42AF-8FBA-8DB0B9732BE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53a50321ebdd625f060b5a92ae416599b2140e81","datavalue":{"value":"W2969477136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5088164$54D0A5B7-6072-4B60-A9A9-CC54E5E61691","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"106d6ef9651f8168831922fa3f8a5d58f507ecd1","datavalue":{"value":{"text":"Proceedings Sixth Workshop on Proof eXchange for Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5088164$8B9B8D81-3B47-4F42-B691-3E2843E75E6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5088164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5088164"}}}}}