{"entities":{"Q1329155":{"pageid":1339905,"ns":120,"title":"Item:Q1329155","lastrevid":81362528,"modified":"2026-05-06T18:20:24Z","type":"item","id":"Q1329155","labels":{"en":{"language":"en","value":"On the complexity of the parity argument and other inefficient proofs of existence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 598086"}},"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":"Q1329155$FD10BBED-F1B1-44DA-8CFB-356D801F6DC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a818fdf5b44bec87c77c29f8affaddc139eb034","datavalue":{"value":{"text":"On the complexity of the parity argument and other inefficient proofs of existence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329155$88C4AC47-5C6F-46E7-A201-0BADAFEAD7C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9530fc08daeb84b4a6f7a1a6db52aeb681a91969","datavalue":{"value":"0806.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$17CE5174-F879-4B93-9828-FF867B646232","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"718764172568e9f73b7035d518f7f50c6f505050","datavalue":{"value":"10.1016/S0022-0000(05)80063-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$8F750FB7-75C6-47AC-AFC6-796843747943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$D04E8E74-D2DB-4980-8D7F-4B6036E215BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3f5020bb391825f091a9eb9719aa6d72bf1e1b","datavalue":{"value":{"time":"+1995-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1329155$0FE2E88D-A7E0-4513-AB8D-9F236352C5A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$C5FDB495-B6CB-4F95-BAB4-B6A7E3105123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$C938AB81-F74F-4D1F-B5C6-02F9AE052210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$74BB9849-40C4-40D7-8118-3B1A6A61CD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$729C2C6E-BB2F-40E3-9FDD-FB4B91D23792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c098e0a42cd013520ed3f50ce6fa966e7648cd","datavalue":{"value":"598086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$86C7E276-A738-4E61-A361-EBCB4B612C06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece2bdad6a4be7cfe5b845bf79a689249216a8f0","datavalue":{"value":"search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329155$12E44916-55C1-4014-BE46-A186E3E0262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5243c815cfe9ef8654f8aae6a709d24e930de5a","datavalue":{"value":"Hamiltonian cubic graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329155$382C033E-CDE5-4263-8644-EB78B8FA8592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$910C2C66-ADD1-4C77-943C-73AE8F23019E","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":"Q1329155$2E0E696B-2763-4F1B-B60B-974567088A89","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab619e89cc8fda0dc7567bf88c35df37d1a73b1f","datavalue":{"value":"Q56138406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329155$146101D1-6108-4181-A0FD-1B3DC6641AB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1466d8868c428579a9d2013fae57c06f1b88ef31","datavalue":{"value":{"entity-type":"item","numeric-id":595688,"id":"Q595688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$4C9AF25A-1F17-4FA0-8DEA-41BEC0634753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c33606efc5c6a91b75e2205fe380f563eff2c54","datavalue":{"value":{"entity-type":"item","numeric-id":5827435,"id":"Q5827435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$3CBEC6A6-80C2-4B0C-8C36-EBD0F6412322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$EFC59020-116A-49DD-BA87-7E7D56ECEC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9556b07decab54f0004fc47b4383cad55a1de3f","datavalue":{"value":{"entity-type":"item","numeric-id":2527120,"id":"Q2527120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$0A03734F-E752-46A8-9F60-62B7D16B3B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934d965608b0f0783263e4a614fb05513332195e","datavalue":{"value":{"entity-type":"item","numeric-id":3219474,"id":"Q3219474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$599DFFA3-C722-4B80-A29F-933A7836D341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56482c6dd29359d39b50f1d0751fcaf2df2ea9e","datavalue":{"value":{"entity-type":"item","numeric-id":1153158,"id":"Q1153158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$E343CC64-1BF8-4891-AF32-A74860963408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930846878661c944ce536dce166d1081cd81219f","datavalue":{"value":{"entity-type":"item","numeric-id":911230,"id":"Q911230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$9E2CE8FA-08D9-4795-967D-FA5A2BAE422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a317160f828cac721e9b18bc662fb13521c77727","datavalue":{"value":{"entity-type":"item","numeric-id":2527690,"id":"Q2527690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$50BB3BBF-6C47-4F9E-A5E0-FB860C2D65F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$0DAD39D5-83F0-45A1-A4B6-3B24465C07F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538de0152ebdec9732d0f9cf12c3446215cdfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":5514161,"id":"Q5514161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$05B2961F-B255-48D1-A857-EE226F8253AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4147b894cc9ce75853108ec8ca9896a72c6037","datavalue":{"value":{"entity-type":"item","numeric-id":5335815,"id":"Q5335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$633F5584-0BEA-4F25-9D41-E4067D448F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$D0DBA1B4-8E11-49C1-AD21-2D891E5F44CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b98ff2aab01c4bd8cfe081b2c02508c6cfb0548","datavalue":{"value":{"entity-type":"item","numeric-id":3959443,"id":"Q3959443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$C68FE690-0E78-4048-BE6D-7CF596F96C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3ef38ef005c69e7bd0fea842b7da511c1842a8","datavalue":{"value":{"entity-type":"item","numeric-id":4077450,"id":"Q4077450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$EF66FA81-6DF2-4459-A2DD-EA7667205802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb2c936121f4f1d6e6f7ab70089a797e73426bb","datavalue":{"value":{"entity-type":"item","numeric-id":3662618,"id":"Q3662618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$B6206255-8534-4268-976A-53AEF90F7AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdf0f8c0387a6648a8c262f3b165c4b253ed983","datavalue":{"value":{"entity-type":"item","numeric-id":3481743,"id":"Q3481743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$6BF78F1D-C653-4E78-A150-81ED90AFE5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3963223ca4d56ab1683b3c2d7b6d3c4a9f211a4e","datavalue":{"value":{"entity-type":"item","numeric-id":4161352,"id":"Q4161352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$B5E97B46-3E75-4CD2-AC00-6DDD46F9E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463280347295fc3fc52839aef31559bd952b8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3907429,"id":"Q3907429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329155$BCF146E6-E81C-40F3-B089-219C47E5A78A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff8238612bf4a09d62d16303bbe3258017322d8","datavalue":{"value":{"entity-type":"item","numeric-id":808245,"id":"Q808245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7f986684b4000abf5a43dc337c97ed90b9a545","datavalue":{"value":{"amount":"+0.8286656141281128","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":"Q1329155$963290A9-6A5E-4CE0-8010-3CCF22FB75ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12977a99bb83344d0b41b69a022c09e47da27695","datavalue":{"value":{"entity-type":"item","numeric-id":1603412,"id":"Q1603412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d43e70fe3e58ea4463a934f34fdb1958357f44","datavalue":{"value":{"amount":"+0.8100519776344299","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":"Q1329155$55E46619-BA49-4486-A2C2-ED4F6B1BFC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de46a835009c71482f9b5a52ebbd67333ade6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":2037189,"id":"Q2037189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223949f19866648812be9fcf912247344c7fd373","datavalue":{"value":{"amount":"+0.7883140444755554","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":"Q1329155$B06D073C-2A72-42F3-8266-0BC9121C9A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f07feac38ba77b8d084776b28017805a484045","datavalue":{"value":{"entity-type":"item","numeric-id":4234077,"id":"Q4234077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fca7dd3efe37d0d270adf482e6780c334bce08a","datavalue":{"value":{"amount":"+0.7864194512367249","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":"Q1329155$5FC45FAB-4965-413A-BD7B-4BCE91F247A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ab721a37d08ce1b616eb32d51b934fde6bbbec","datavalue":{"value":{"entity-type":"item","numeric-id":1035680,"id":"Q1035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67dd7efab92fca293a97aef91949aa5ed9a51bb7","datavalue":{"value":{"amount":"+0.7843382954597473","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":"Q1329155$7F8E7DF6-0CF7-417C-8227-D95F80BB07E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of the parity argument and other inefficient proofs of existence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_the_parity_argument_and_other_inefficient_proofs_of_existence"}}}}}