{"entities":{"Q5082009":{"pageid":7111585,"ns":120,"title":"Item:Q5082009","lastrevid":54343922,"modified":"2026-01-26T16:24:23Z","type":"item","id":"Q5082009","labels":{"en":{"language":"en","value":"Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544348"}},"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":"Q5082009$1559156E-4D4A-4E94-8447-6E886F0FC915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed544b354921f2858b3642f66e3426fdf85348d8","datavalue":{"value":"1489.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$0B984647-C02D-47DE-B98E-CA6B5A8DDF2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1054b90666f26442648dba6d9dc914efba77e84","datavalue":{"value":"10.4204/EPTCS.336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$5DA34429-E1B3-46F5-A85B-20AFFFD1658F","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":"Q5082009$11FAB416-2A90-4E1A-8F4B-116D688061AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6df8bb997ed465694b85f78238450aa4f23a254b","datavalue":{"value":{"time":"+2022-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082009$920AC248-2F2F-427B-93E9-1A99B06781ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cffca1b0afed0741f4d8d5256ef256366b24a1f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?PxTP2021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082009$278CD8A4-9EBC-4F33-832A-A8DD73D49807","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$ED53A90D-12B4-4A9F-B37D-546479016B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$5E341B19-E9DA-4FC9-92E8-81A091CC22A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$E00FA61A-8C13-4862-A29A-C1C8B2DBDE5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7404940723f123846e84b91c89fae177e1d044b","datavalue":{"value":"7544348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$57E71D10-6225-4DDF-BF68-EBF6B7F8E23C","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":"Q5082009$632F754A-29F2-4D03-9259-E110BA8205F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59b2603f75b2594366a35575456dad15d6b111c6","datavalue":{"value":"W3177773655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082009$D5377B06-09D6-4626-828E-3E623217FF7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb0fcf45602af08c5adf10426d3754a34ef6f63d","datavalue":{"value":{"text":"Proceedings Seventh Workshop on Proof eXchange for Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082009$8815A3FB-74DF-4099-8B41-92DBB5E8A502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf0fc50c07bb862142f2a6b4e13422b5f7cdd0c","datavalue":{"value":{"entity-type":"item","numeric-id":5088085,"id":"Q5088085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cfd8f5a90cd5be15a4b1204955bdb976f1f79b","datavalue":{"value":{"amount":"+0.9014504551887512","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":"Q5082009$1AF1E7B2-2240-49B1-A0E3-06FD2BDD92D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4a52d9a5fcd5fdd13614de2b175a7c374f41fb","datavalue":{"value":{"entity-type":"item","numeric-id":1687726,"id":"Q1687726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b09d19e7c254319caea88ba252eab5430e0ab55","datavalue":{"value":{"amount":"+0.7548516392707825","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":"Q5082009$E38571EC-2F67-4F1D-A870-06F7627E1847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b168262f9e1b4514313a24dfabf8223d2ad31a3","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c5cadb9ca50e3ccd27bfae631437ebc81e43c5","datavalue":{"value":{"amount":"+0.7262822389602661","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":"Q5082009$422A84D8-E555-4365-AD52-02444DB14E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c3827053eda897a004928956321cc924352f63","datavalue":{"value":{"entity-type":"item","numeric-id":5435630,"id":"Q5435630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77580de3cdb0e0415b15dc74703aac6c04ce48cd","datavalue":{"value":{"amount":"+0.716404139995575","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":"Q5082009$6C2EDCB0-EB06-4822-A0D2-87F3892717EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c88c73eb0f33863fc007467a9962367e1e0911","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a13e5c94b4d65fd2c818a2b136541aef2b5028","datavalue":{"value":{"amount":"+0.7151719927787781","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":"Q5082009$2D318EC8-7464-4894-9C43-4776A978225A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5082009","badges":[]}}}}}