{"entities":{"Q5195261":{"pageid":7224833,"ns":120,"title":"Item:Q5195261","lastrevid":92113322,"modified":"2026-06-05T00:54:05Z","type":"item","id":"Q5195261","labels":{"en":{"language":"en","value":"A formal verification of the theory of parity complexes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106497"}},"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":"Q5195261$E0E4E0E2-217A-4019-8DC4-FA11803BAFAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8869a1a83563a844d01a6c5e0dd2d4a5b84d1270","datavalue":{"value":"1451.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$B841D1D6-3013-4AA5-A192-4BA61C38DC80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f0e6fb40b86b55ce14f308171d78d11ff06d60c","datavalue":{"value":{"entity-type":"item","numeric-id":323664,"id":"Q323664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$F27B01DE-7719-4631-A79E-FA5977BA84A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195261$3ADF9ACE-4FEA-485B-861D-C553709466E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95aae53303f9d33fd54ecbc32e39e516c65a1f8a","datavalue":{"value":"https://arxiv.org/abs/1504.02297","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195261$4F415D53-97F9-48C4-890D-03C6E2624ECE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$685AD6F4-0C7C-4C42-BB44-B267F3BE4CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e669b60521e14398c1f2263792cea32c3a9da254","datavalue":{"value":"05E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$33C3E8B1-808A-4330-BCB9-9452787129DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$A51075A7-8EA0-4E1D-8F5C-760C6B8F4975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$A424F420-DCA9-4491-9271-0C182C60EA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$685656A6-A901-4248-A697-80EF7B2954E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c93a7142be1efbb0bedadb5816fe71e31861498c","datavalue":{"value":"7106497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$6BF1708E-0920-4005-AF7E-4CF04C64B915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41fb81107dd9cd950fb1824f78b66953b4863eef","datavalue":{"value":"parity complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195261$1C62B55C-B396-4196-BD3B-9D3ACA991BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bfb4595cbaa61f1ed18f2361fd4f281886e067","datavalue":{"value":"omega-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195261$DE61EB26-3421-457D-9711-F3951FAA354B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9474ae96b91b3d9929825b814262ffd5cec65a2","datavalue":{"value":"pasting diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195261$DDDF576F-6098-4319-A391-9AC73340E29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2b99492316537af4eb59fceae0b40e974d6802","datavalue":{"value":"excision of extremals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195261$2790AB33-A2A1-456D-A9E8-74018ADFFD1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$4CB41AE7-DC7C-4860-A8F4-BD50B2691C6A","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":"Q5195261$D75D2F40-1206-48D4-BAFE-A30A3D53E4BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c7ee7d6bf2bd7908d27ab7fcd66d591f10a709b","datavalue":{"value":"W1568306369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$EB697BF8-A745-49DC-8826-CED63FAF42AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1e497586e4c2c0ea086251671a787964d4a79f2","datavalue":{"value":{"text":"A formal verification of the theory of parity complexes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195261$2E239E1D-6C2F-4E85-9CA2-63C2C4E3FF69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c9f02652ebc3c4bb777b66cf8f11f8b87e0871","datavalue":{"value":{"entity-type":"item","numeric-id":3363602,"id":"Q3363602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$10D88CD0-B7DD-4854-B79C-44BEA21437D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388bd315250df79fc08fc1aa92faa99a9d8c7808","datavalue":{"value":{"entity-type":"item","numeric-id":909013,"id":"Q909013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$71596094-0429-4878-90A2-9B99CCA2682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307b814434de036020f5e140fd78af2d51bd7f65","datavalue":{"value":{"entity-type":"item","numeric-id":1320333,"id":"Q1320333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$3B96AF12-2B3C-4B8B-BFCD-702DBEB18235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9d75e7affbd4b03aa350af1fed52afdbc067f3","datavalue":{"value":{"entity-type":"item","numeric-id":1770298,"id":"Q1770298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$D7321CAA-9D26-4163-B89A-ECFCB8118E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ebb2a83f19a3a0b83f725cda3ca2e99678c846","datavalue":{"value":{"entity-type":"item","numeric-id":1112955,"id":"Q1112955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$59438AEB-3A72-4B88-9E98-D84DACF7D1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbede8ded3667dd7eb8b4ab0a0709f3996d50a60","datavalue":{"value":{"entity-type":"item","numeric-id":3994019,"id":"Q3994019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$535397AB-0CAD-4570-8CC4-40E45A1B2072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936ec3b9d47efc0bb29326478b6a999a73899d55","datavalue":{"value":{"entity-type":"item","numeric-id":4322442,"id":"Q4322442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$CAB8878E-63D2-447E-83CC-D84BBF427457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57447cc362fdd18bbd3f1efe7dc487b19f951b10","datavalue":{"value":{"entity-type":"item","numeric-id":1346409,"id":"Q1346409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$B3584728-7E81-4388-947F-865FF64B6B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962116d61f0e304920ac1a299c7101dc6840a47e","datavalue":{"value":{"entity-type":"item","numeric-id":5385844,"id":"Q5385844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195261$D7B14B5E-3A0F-4483-8B97-3799B168AB99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79e45da9348f18116e321c21c366ede47b72b93d","datavalue":{"value":"10.6092/ISSN.1972-5787/5010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195261$36BE46E7-94A8-47C7-8A46-E353655CE9AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96ab11368c74e27666f014014f1868bf2034ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3994019,"id":"Q3994019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81ee0af6c5046a8949afba45459793db8c465bc","datavalue":{"value":{"amount":"+0.7424778342247009","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":"Q5195261$16B53DB7-8E61-43A8-9231-F21C9333007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57637dbdf4fa19cdc8b93981dd6ae55dbf66b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4507891,"id":"Q4507891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c557696319eebcd6931ec70d2cee618a5041f0d5","datavalue":{"value":{"amount":"+0.7410277724266052","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":"Q5195261$8BB1207A-3608-4693-9E74-C78A0C961004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143dc550fcff3a96f5bcaeeba556c33e8e1e48c3","datavalue":{"value":{"entity-type":"item","numeric-id":5094691,"id":"Q5094691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188a5afc9c17ab7fa1162d4cfa3cafd539b4ffc3","datavalue":{"value":{"amount":"+0.7155338525772095","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":"Q5195261$E974A8F5-18CF-4E6C-B5F1-666614582812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd9d9c437a0b2dd000dca2d43353a3aac50de0a","datavalue":{"value":{"entity-type":"item","numeric-id":631755,"id":"Q631755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8290613b868aa60b9fe55d933ebbffea853924e3","datavalue":{"value":{"amount":"+0.7052834033966064","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":"Q5195261$F7F96AD1-6A8B-4469-9332-EC0D3A91F4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7433a24c263fea701230f8610d6d1750bea9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3130548,"id":"Q3130548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301c4c5eac0713d45397bb81556fd45ba42f07a7","datavalue":{"value":{"amount":"+0.7030766010284424","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":"Q5195261$E1EA3229-7731-4E31-B11C-23EF5F01E0E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal verification of the theory of parity complexes","badges":[]}}}}}