{"entities":{"Q4945238":{"pageid":6974820,"ns":120,"title":"Item:Q4945238","lastrevid":41853114,"modified":"2025-05-09T02:13:54Z","type":"item","id":"Q4945238","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424047"}},"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":"Q4945238$0D9E79E6-E28D-46E4-8802-D5E8B0E7A91F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b98ce1255b6b65f13786351e1e5adf67cd2a007f","datavalue":{"value":"0942.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945238$9976DA94-3324-4E2A-9F44-E9B88A9C008F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945238$7334AFFE-E01F-4A0E-95B6-789007DD71AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945238$AF521B9D-9C64-4A42-BCDB-187B58B5FA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945238$22649666-D2B2-4E80-A493-68E86CC49E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945238$9C05E89F-B116-4560-90E0-6AC63979491C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945238$79052127-42C9-4746-BD6C-80BB48FC8ED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6232c1a08027205016dbbff51add0b5f49d216b7","datavalue":{"value":"1424047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945238$3D7B6061-90B7-4BF3-9730-989B93D60B71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b95970dbbafca6a8b13371dabe0dccec26c445","datavalue":{"value":"pebble game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$E3F9066D-14A1-4949-83A6-0BE03453556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec171027d1650ccf5b7f14821b846bd5dc75680","datavalue":{"value":"complexity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$51CBB679-EC49-407E-954C-B558F5D3B3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$522533B1-D11A-42B5-A889-6A5B1196CFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae0932b246c2ddf4070fd4d414dcd0797b1aab77","datavalue":{"value":"resolution space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$5470CE2F-EE99-4446-88A3-C72B56D23F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6ffb1c353cab625622161ce27f82723a019913","datavalue":{"value":"resolution refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$551B0814-97A2-41B6-A777-29B762BAB6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$C6DF02F9-D910-459B-A1F1-B190CFBC1692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc72ca9f6486ac23cfad1b54fd051b76282d29d","datavalue":{"value":"Pigeonhole Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945238$729878DD-BF64-4DA5-8EA9-583E10C7072E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa0ee16bcf9d62945fa4e27ea47d07c341ed7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1114674,"id":"Q1114674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945238$1B54E7F6-4DF7-4DFC-B1D3-AEF4079EAE65","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":"Q4945238$89553752-B54D-4BC9-B9FF-C8D46924E8B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a089503d2728bf3f127c89e535e45e3ef54474c7","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a37e56041c0c8b3cd62fe35351dc2e5a61e5af5","datavalue":{"value":{"amount":"+0.91619885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$5F7DB40D-B825-4B80-8A0D-451A1657DBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c0feb6dbc148a238fbe7e3cc5beaac2e5ced1d","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a37e56041c0c8b3cd62fe35351dc2e5a61e5af5","datavalue":{"value":{"amount":"+0.91619885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$BECFBE9D-9863-48F6-935B-2446D93D9CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068dff56e7438b6c53c60540cef6d6043f466028","datavalue":{"value":{"entity-type":"item","numeric-id":857044,"id":"Q857044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1ea00f625e0cb70eb47579edf4bde4799b6592","datavalue":{"value":{"amount":"+0.8591664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$EB0F69DB-FD10-46FB-9D26-E14C7F1F95AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4081d2a0215b083c4262ab1d473dfcd8460929cd","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d425fe361ba981d922e9a615d00d25c8dd79ba71","datavalue":{"value":{"amount":"+0.8493637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$D99C4BA0-98F0-4646-8133-06E2179DABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d04ded393c250961bf27f8a2f5ca65ea6d83e","datavalue":{"value":{"entity-type":"item","numeric-id":2520035,"id":"Q2520035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109e083207e57c359b366c2ea70ee96ef2829e3a","datavalue":{"value":{"amount":"+0.8407854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$569625FD-3AA0-4053-99D4-018178161B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189c6f8102b7e7c486829a3697229e36490d7531","datavalue":{"value":{"entity-type":"item","numeric-id":3191584,"id":"Q3191584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34842dab11eedc154a200c9de6f9990d3db68d8","datavalue":{"value":{"amount":"+0.8403252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$D9C20547-282B-450D-98D1-E805142A848D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88487d39d860afa32f6d456fc8042ed67d952460","datavalue":{"value":{"entity-type":"item","numeric-id":2817796,"id":"Q2817796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe765e3322db427df6641d4e414423989b4a8e2","datavalue":{"value":{"amount":"+0.83819294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$E37B1A1E-1C40-4E10-BB2C-437184489FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0d73b856604e995b708f31ce451a9511e06d61","datavalue":{"value":{"entity-type":"item","numeric-id":3202814,"id":"Q3202814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac04e37aea98a61f1ee0eab297c696267fcdb4b","datavalue":{"value":{"amount":"+0.8343158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$C821CACF-556F-40EC-A292-6675A583B050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d2f29553f01a51aef3c2a6beb2a91ca1ea7437","datavalue":{"value":{"entity-type":"item","numeric-id":4632458,"id":"Q4632458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebada3ad04120fb0c59f51b58d8a8135264704d","datavalue":{"value":{"amount":"+0.83241135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$B62630F6-F24E-4342-8958-F5BFF7637B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e635d66dde67a0bcd1f26b3006f2ac8a6860d4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5415477,"id":"Q5415477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f38fd89ed47469ab65b642ea980c8a9f564698","datavalue":{"value":{"amount":"+0.8319079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945238$14ECF9B4-4966-4423-A15F-BED64AC9B323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945238"}}}}}