{"entities":{"Q3088007":{"pageid":3098722,"ns":120,"title":"Item:Q3088007","lastrevid":51317618,"modified":"2026-01-17T17:56:14Z","type":"item","id":"Q3088007","labels":{"en":{"language":"en","value":"Applying ACL2 to the formalization of algebraic topology: simplicial polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940069"}},"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":"Q3088007$1093F86A-78C5-450B-8C58-8DEE78000BED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a3bfb061fb9fc37b3943e1c9fa9dd9e70208c7f","datavalue":{"value":{"text":"Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088007$666DAAE0-A2ED-4241-A83A-0D2755D5BC68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc7c0c2667ed848aec445fbce6563845b1e371b0","datavalue":{"value":"1342.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$6D204963-BF4E-4581-ADC0-5F0DBA71B8BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62912f9285da68a090b5ef41c9ac04e2ea6dbccd","datavalue":{"value":"10.1007/978-3-642-22863-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$1608AF95-9B18-4D46-BB77-6E9E4EA58315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"962ccc22140a8c8a26cb1ba76269211b5ea9b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1413643,"id":"Q1413643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$60A00CFD-EA5E-4637-9919-F4526A253297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$1179205B-2AF2-453A-8D0B-EDEA27628AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$9C0986F2-F13D-428A-B5EF-B775304168DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$477CADE3-72D7-4E0E-B3F8-090247F6B72E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$D0CBC356-AFBB-449D-A7E2-B6EE9C92BF65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088007$8D4E61E4-8208-42AE-9BE8-0AC955D1A1D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$D7B75507-AF09-4EEE-8E24-2D1677D94954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$1458BD2A-5790-445E-9E6C-61C076B744F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e6fea820c5c818781a0e597493c318d6b16eb09","datavalue":{"value":"55U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$A367F21F-11BD-422E-9338-5B10368FA3AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2b15ca9c358f926794e380f3ae4e3535598d148","datavalue":{"value":"5940069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$726B7856-248F-40D0-8CCB-3C305C66C445","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":"Q3088007$5D3EF5D8-06D4-41A9-BD7A-2AABC616BBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$6CC52C36-1EE0-4DE9-9FC5-B82DB35F0DED","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":"Q3088007$E61E8B02-6E10-4261-983D-0387C6AD0DB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6c513969d40ec4198d0360a84eb2e3c39dd2546","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088007$818C6A6E-35B3-447E-902F-81A4B8200DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1ab2b4f19306aae1ae6006ec89160cb428df8f8","datavalue":{"value":"W55003788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088007$5AA2DE82-16F8-4EE6-848A-C37B5A06B0BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8316fbdb2d207cddc264cb0ab6ce17ba3c3a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":986135,"id":"Q986135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$BDE5B788-23B2-473D-BEC2-4CDB1C0B7D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62553ecc52191439fde09c19b3ee8a3df2b32b77","datavalue":{"value":{"entity-type":"item","numeric-id":3003483,"id":"Q3003483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$237CA6B5-4267-4A66-B86F-71E5EC2FCDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a638c1b8d85988bdd45de66bd17f2104917aa1","datavalue":{"value":{"entity-type":"item","numeric-id":3637272,"id":"Q3637272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$B516ED6A-7446-41F0-ACAC-A439974941FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8569e46b6ebf9bdf790ad48b6a4dab614e1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5550390,"id":"Q5550390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$4533D8EB-6461-4EE0-B16B-880579FC4343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0054f1bae41ce0c9465e89ccb545c5e6c23a5655","datavalue":{"value":{"entity-type":"item","numeric-id":1034553,"id":"Q1034553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$99BD0C17-C135-4CC3-9A9C-DF3E752414DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c60cf361949afc373104160e013e410c73b923","datavalue":{"value":{"entity-type":"item","numeric-id":3975344,"id":"Q3975344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$40FC6C98-5EC6-4606-8EC2-35099B80265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a357a3b561ccdc8d7429c7e14c4c790e76d26e0","datavalue":{"value":{"entity-type":"item","numeric-id":1612751,"id":"Q1612751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088007$8EF98A9D-F5FE-4709-9615-8930D1816A3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e85011cc4f8f812313279990efa8b25b1cecf3","datavalue":{"value":{"entity-type":"item","numeric-id":1926582,"id":"Q1926582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e121a0213d1e8d4291dd2e5d82a5360775243ad","datavalue":{"value":{"amount":"+0.905977427959442","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":"Q3088007$3C93C861-313D-4A7E-9722-45FFA887294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1dfd4266e963b75fd65bd359de1b4cbf73c719","datavalue":{"value":{"entity-type":"item","numeric-id":3062057,"id":"Q3062057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f64533d52479dbc1254506b6a1e06425287a56","datavalue":{"value":{"amount":"+0.8708083033561707","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":"Q3088007$CC502E37-4116-4E2B-8C78-4C74169AF12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8c3f2564b881ea1b7e4341684c21fb5e3646fc","datavalue":{"value":{"entity-type":"item","numeric-id":3003483,"id":"Q3003483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a44cab784f7cc4b8e2b21c9a39538c28161e55e","datavalue":{"value":{"amount":"+0.8316904902458191","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":"Q3088007$3EBECFD4-C9C1-4F5F-BF46-D9E21E22EB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb8fdaae5d041429cea115ab94c35deb80e0aa37","datavalue":{"value":{"entity-type":"item","numeric-id":5172125,"id":"Q5172125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77274f030b6c55ab1f9cd4bfafb7021d3d91a6e6","datavalue":{"value":{"amount":"+0.8098055124282837","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":"Q3088007$CE44D16B-9C61-4B92-9C93-7103E551D700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc95125793835122b30d40276e58f8413d89e64","datavalue":{"value":{"entity-type":"item","numeric-id":3062059,"id":"Q3062059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce0903fa64bd23b545e0bfb520185196928dbd0","datavalue":{"value":{"amount":"+0.8006789684295654","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":"Q3088007$297E4C55-BD8E-4923-B03C-F1C6EEE231A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088007"}}}}}