{"entities":{"Q672742":{"pageid":674591,"ns":120,"title":"Item:Q672742","lastrevid":63463275,"modified":"2026-04-11T13:20:15Z","type":"item","id":"Q672742","labels":{"en":{"language":"en","value":"P, NP, Co-NP and weak systems of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985165"}},"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":"Q672742$4440763A-C03C-4D01-813F-C84E91F3AD57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b6546fc802069d5199e5f9094e2b73e0644f70","datavalue":{"value":{"text":"P, NP, Co-NP and weak systems of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672742$5033B391-7E80-4F19-B966-5F0FE88071ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f353507eacb4b4099811a58a6a3530336e2ddb76","datavalue":{"value":"0873.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$C6F1DA87-FB12-446D-B664-FC44501D9C6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edc3d19a66ca092555a009811ecdbfcdc6ee500c","datavalue":{"value":"10.1016/0304-3975(95)00099-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$B5C680B1-934C-49C3-9569-4536FCC93F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc1cdcd255eff78b2730e15f75c940173ccaf950","datavalue":{"value":{"entity-type":"item","numeric-id":329715,"id":"Q329715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$4AF57436-CC9E-460A-8617-DACCAB8932EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$402964F4-A509-4486-9A17-FBF4971A8D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672742$119A9B54-21CA-4C5B-B4B4-E6B21ADD869F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$4DB96BA4-1A4B-490E-BCD7-BB3C3FD3A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$EE5E4865-06F0-4DAF-B558-C64AE15B2FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$EFECAFD6-66D1-42C7-BE96-32282EA8976F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$43C4BE85-F830-4A92-B72F-EBC0343D8C80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b17c344dca8a36bb328f3b33652225b6413cf58","datavalue":{"value":"985165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$B8E77F41-68AA-4934-8A12-0A80134E24C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09bbf67659e88459377eecc3757e53834cec23e","datavalue":{"value":"language of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672742$971D492E-E59F-4D14-92AE-66A0DE0E8706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q672742$A6B7D894-2278-4CC4-A429-35140EDBFF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49ebb629786f49e8d7b2785ade14f8bd21bddc","datavalue":{"value":"polynomial time computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q672742$7DFE5039-F7B0-49CB-BEBC-55A9054B643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04524f581c012b9184ed7064bb65f46df8c3e47b","datavalue":{"value":"weak systems of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672742$9E24DB53-427F-4CED-BEC8-C1D5B21D6682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb78bb18f3a146f8ec0fba8087cdcd8dfdba88b","datavalue":{"value":"nonstandard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672742$461254AD-36A4-4C48-903B-F82A5BAE930C","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":"Q672742$DE5BD3C9-36BA-4763-B3DA-8DDC1CD05616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9c5b36074825a52d66a991ccbcae2ad56d514a0","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00099-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q672742$4B381AE2-1A8A-43BE-8315-6D9E04405187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ef1ef4f45ed3a310b3d6f5d7e4f2ec1d04ac8ae","datavalue":{"value":"W1991368059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672742$1444DF73-2F06-4093-AD78-F74A97640B12","rank":"normal"}],"P223":[{"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":"Q672742$F0BC298E-F0F0-49B1-9F92-BB55D862DF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$48FCE940-9385-41BF-AFE8-472AFCE47B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7862c5cf24dcd05046e8cd65473dc4c295dd56e","datavalue":{"value":{"entity-type":"item","numeric-id":787136,"id":"Q787136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$F2B0FB3A-FC31-431A-9B7F-771A6869937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b96dd7ca0c4bbb78854e16e232db29c4eac847","datavalue":{"value":{"entity-type":"item","numeric-id":4168612,"id":"Q4168612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$16E7EC9B-BC65-4C2D-900C-BB8509D5FCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61723c3df80f3980ce5d1ecc4aefe9f7748f50f5","datavalue":{"value":{"entity-type":"item","numeric-id":1243130,"id":"Q1243130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$BBD5FE2B-960C-46D8-AAF2-17FFDFEF4B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef29b56e4c05746c3713464f8e75343f13c55a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3476273,"id":"Q3476273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$AC4F4315-EABB-4AFE-85A2-AEB6F28C40C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$6392F7B7-D90A-4CE3-B7F3-8DD6F4064E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$7E26B4A0-3378-4C1F-A68E-2E08F783A8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e1762b8ffe5aee542891606270cb4e8ebbbaea","datavalue":{"value":{"entity-type":"item","numeric-id":5528636,"id":"Q5528636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$969EFC2C-C66E-4C9F-A93F-F2CF311A7729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04efe56e316ae5feb3ca283f216f9d07541bf6ba","datavalue":{"value":{"entity-type":"item","numeric-id":672454,"id":"Q672454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$B87DDE72-EB2B-47F7-B429-02633866CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cff6738b4c8771d60041156fca572890e0a017c","datavalue":{"value":{"entity-type":"item","numeric-id":4081241,"id":"Q4081241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$A759FAB3-942E-4A4E-BBDE-8A702C879B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f893585ccafb1708c04ca99c1369c672cb7bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4154553,"id":"Q4154553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672742$8C352FD5-236C-445D-91FE-9B9D80FD00C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c4559f05230f57df55d0391b2fee807801060f","datavalue":{"value":{"entity-type":"item","numeric-id":3476273,"id":"Q3476273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d0b67ab1a54ed871ed1ca09c4f1a46d5831cfb","datavalue":{"value":{"amount":"+0.8183550834655762","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":"Q672742$CD61BDEE-7D40-47D6-88A5-23FEE7D8AEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4adfdb676dc70ef963e82508bbe29b062360f9f","datavalue":{"value":{"entity-type":"item","numeric-id":672454,"id":"Q672454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3284cfdc66d36ee58c414ead9998e588a1929c03","datavalue":{"value":{"amount":"+0.8123906850814819","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":"Q672742$7A250502-966F-47EA-881B-88B98462E05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cda8c2f90cf90f1556fe1c87ea1c30ba021bd34","datavalue":{"value":{"amount":"+0.786259651184082","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":"Q672742$B8098B2E-91AE-4089-B7B8-7D9ED78759D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb7133e771050e21801a6501e8a41f7db81b063","datavalue":{"value":{"entity-type":"item","numeric-id":5941252,"id":"Q5941252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928da68c138c7909514e1bd8777eab601b40971c","datavalue":{"value":{"amount":"+0.7661508917808533","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":"Q672742$2F960096-1C51-440E-A0F6-D7F66F52703E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"P, NP, Co-NP and weak systems of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/P,_NP,_Co-NP_and_weak_systems_of_arithmetic"}}}}}