{"entities":{"Q4302462":{"pageid":6332063,"ns":120,"title":"Item:Q4302462","lastrevid":28511974,"modified":"2024-03-05T14:14:19Z","type":"item","id":"Q4302462","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 619541"}},"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":"Q4302462$3A1377FE-9B31-48C5-8F3F-C979EA1D687C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0165626e5330d68b161369532b79943cab080fe6","datavalue":{"value":"0797.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$739E19ED-A941-4322-A8A1-EBE07535CE5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23d2d855e02084b1574fc1d8202fd5fd921f552","datavalue":{"value":{"entity-type":"item","numeric-id":1071749,"id":"Q1071749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302462$955F99B1-F5E1-42AB-B768-0D0ED8825610","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":"Q4302462$F608EF03-75C6-43D4-B1A3-E83DA2B3B55E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$363E8F90-94EB-4F3D-A459-DBD1DA9CF6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$4FEBAC68-4DE1-41A7-8FEF-EDB79BDEA0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$5C1BCD1F-9E5B-4DDB-9F13-7B0E073FE9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$1913F830-69AD-4143-BB43-C73977AE7065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$8A375848-18CF-4148-8398-7898DE9DDE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4dc806defba7bb3ba8247f6caf647bdfe351a9a","datavalue":{"value":"619541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302462$155B5EF9-E1EE-4ABA-B527-9E78A0CF208E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2858ac5aec041cfb9bfa07e82c0e51014cf9bf04","datavalue":{"value":"complexity of general resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302462$09BC39E1-A270-4873-9BB9-53EF09F5EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302462$B45C8E47-7226-47A0-9631-67203B8B693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9d1647b20c82d33b2f1629c4eaaf4984386a1b","datavalue":{"value":"exponential lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302462$49F34267-DBBC-4F94-8CA1-E0790C50C5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302462$6CF81EB3-1203-4A48-B325-61A586F594E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0c23329b48b104ed3960c66a0cad0ccbc7b7f4","datavalue":{"value":"extended resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302462$A3BAE250-9D92-42A9-A990-7388CCECAC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3964dc2530ce7a51b440c428cb8d83373a842bf9","datavalue":{"value":"tautology problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302462$8D1B4F55-02D4-4B53-B5EC-1ED6FF34E9B8","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":"Q4302462$FCB6425E-596A-47FB-83F0-DAB8625DD653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302462"}}}}}