{"entities":{"Q5083764":{"pageid":7113340,"ns":120,"title":"Item:Q5083764","lastrevid":54345470,"modified":"2026-01-26T16:29:01Z","type":"item","id":"Q5083764","labels":{"en":{"language":"en","value":"Proceedings of the seventeenth international workshop on the ACL2 theorem prover and its applications, Austin, Texas, USA, May 26--27, 2022"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7545246"}},"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":"Q5083764$7C257800-1326-41B6-837D-3B611FB027DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"856748daf729c38c8cc34d6c22688b8ec0dceb51","datavalue":{"value":"1489.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$3DAD0684-F542-4B26-9503-E246CF40C7E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f22fbf4d485fb262f9181fc9190d9c654c89f84","datavalue":{"value":"10.4204/EPTCS.359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$DF10C133-DF4C-4F10-B095-7B78D851D866","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":"Q5083764$CE8CF656-3933-4231-A692-583CB7FB38FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-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":"Q5083764$74D8FF16-AB5C-4EFA-A2A2-24710B77BECC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a3848f58739c0800aeb8a8d833ad9f6bf665b0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?ACL22022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5083764$CF03682E-1180-4738-9ACF-6938C3243E9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$9DDFB38D-27CB-46D5-96CD-107507A23C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$1DD77E73-274B-429B-8416-8EF6B8F499B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$C2BD8DB8-1EE1-493F-A4B1-410DC48B55AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$603E4305-B7B8-4BAE-BE10-43D00B0C6176","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24cdeda37aa4d2dcd081dfb647df0bff65147bae","datavalue":{"value":"7545246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$451D33D6-5B49-4270-82B8-22B9F198D955","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":"Q5083764$A936AD62-2179-42DD-85B5-66BC233B0A9F","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":"Q5083764$DF2DC247-F1F6-4482-90D9-20335C5EE7B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9409f6fd14e5d8554eea53cde53e9d2d3333d3d4","datavalue":{"value":"W4281294986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083764$937E8BCF-D27F-4725-A75D-F7E003171B10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e744cf553beda0c72304d51be32d73a169345c6e","datavalue":{"value":{"text":"Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5083764$1546A049-2BD5-42A0-B880-23169D4D827C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d5a8b545b5823d435e955696d0052fff4439c3","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac4382e39842e57c1fd0d1f194de808b9305045","datavalue":{"value":{"amount":"+0.7857102751731873","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":"Q5083764$AFA9CFA0-1358-4AE7-B368-5C2F20665759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b7d04a9ff7a9d025be95e1cfc5750dbf6e966c","datavalue":{"value":{"entity-type":"item","numeric-id":3543644,"id":"Q3543644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6209c9855ec1a27709d7ede826d55dc285516042","datavalue":{"value":{"amount":"+0.7815762162208557","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":"Q5083764$BB40D042-6A43-477B-B7EC-05CE898690BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3b0efa447d2f0bb1d07cfcfcea727ec3cbe250","datavalue":{"value":{"entity-type":"item","numeric-id":2280212,"id":"Q2280212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1813b8a984d753158f4f365362ee2b0791a6cc","datavalue":{"value":{"amount":"+0.769823431968689","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":"Q5083764$836CBCB7-7D73-4DF4-9593-8C4A0E1B39F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d606835397ced889225aa24646e03238343394","datavalue":{"value":{"entity-type":"item","numeric-id":3000661,"id":"Q3000661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25c56705a52093a7c9dec313647287fcbd139b7","datavalue":{"value":{"amount":"+0.7640705108642578","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":"Q5083764$B58AC02D-03DD-4DFE-9EE7-F6C61FC23122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c7e2906cab0df39eaaaec6ded4334d15f17931","datavalue":{"value":{"entity-type":"item","numeric-id":4471942,"id":"Q4471942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cf6ba4f408d5b964a8594855feae3e7f180dd9","datavalue":{"value":{"amount":"+0.738037109375","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":"Q5083764$C7BE28C5-6926-49EC-802D-1E85D8F90504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5083764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5083764"}}}}}