{"entities":{"Q4302463":{"pageid":6332064,"ns":120,"title":"Item:Q4302463","lastrevid":28511757,"modified":"2024-03-05T14:14:14Z","type":"item","id":"Q4302463","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 619542"}},"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":"Q4302463$0B62CAEE-1FF6-4864-A30B-54FB17A3F07E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74b12442dba46b938b88e5a1ea2ffbfecf0bb8a6","datavalue":{"value":"0797.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$33C10974-0E82-451A-9AD2-663E7B48327D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66a437d74ae466cacad614cef92f8e5d71204e6","datavalue":{"value":{"entity-type":"item","numeric-id":239429,"id":"Q239429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302463$BCF08F9A-5C38-4436-8166-21399A32E453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302463$D9939A41-C7F3-47DC-AFB4-DB0AEA0BA3D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a511c8ef0b44d10360e4b2f51c22be5a4c1a9ced","datavalue":{"value":{"time":"+1994-09-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":"Q4302463$53B73A43-6979-41C5-ACE7-D3565576DFCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$367A16E2-41E3-4885-A3D6-7680E661D9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$F7CC5268-B870-43D8-AE4A-B17BDE32238B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$8AD628FB-B836-435F-BDFD-229973448F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$2ADEFB65-154C-4A72-828B-71848A0F0DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$A7650184-3359-4526-A718-B2484A0254C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e87fd95ab6196602ea4ccb19b44469655c6af0dd","datavalue":{"value":"619542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302463$81842A93-8A3C-4DC8-A10D-532F54F40649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd73047e2159e94e028e9df0a19c22f5e506d93","datavalue":{"value":"polynomial equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302463$4B3870A7-F65E-4143-B147-D83580E97F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184e4219497cffdf83c8d9d9583396b29fbcfc7f","datavalue":{"value":"generalized pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302463$CBE13B50-DD17-4431-8438-DB2D6AACBC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bfa67db5a3094d4b88049452c4eac336365515","datavalue":{"value":"propositional clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302463$8D10359F-39CF-4E4D-B6E9-CEAD4061F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6ffb1c353cab625622161ce27f82723a019913","datavalue":{"value":"resolution refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302463$1AB4BAE4-201B-4E45-B3A2-D8188B2819E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b67531ce85de68d1bc9749a22a779e09237c4b98","datavalue":{"value":"size of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302463$709230EC-C46D-4590-ABD1-A8B2961D10F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302463$A161A4A5-D202-4D3F-85EA-939097950FE3","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":"Q4302463$8623C227-48E6-4DDB-B1BF-144C1C62A5AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302463"}}}}}