{"entities":{"Q4990024":{"pageid":7019601,"ns":120,"title":"Item:Q4990024","lastrevid":92147729,"modified":"2026-06-05T00:59:18Z","type":"item","id":"Q4990024","labels":{"en":{"language":"en","value":"Theoremus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351698"}},"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":"Q4990024$DC4B1875-180B-4559-B194-47FB467F1DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e61bec5731eddf97cf05352be678c3e3a6a0bd7e","datavalue":{"value":{"text":"Theoremus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4990024$8D7E6F5C-47EA-48CE-B86D-BBCF348FBB9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e671c58edbe7c61a9a492d9b4042ece5f0872b98","datavalue":{"value":"1478.00002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$D0B750D8-782C-413A-9177-FF33C980CF23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f78b7026705a96e3b9b0b61a79a87acff00d5d7","datavalue":{"value":"10.1007/978-3-030-68375-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$C3A0AAC5-6E41-441A-B2A9-0A07262E9CFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56d5f4f49dfbe42d494c2851a40002fd87138d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4644521,"id":"Q4644521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4990024$7CD008B2-AAFC-4D91-B03D-7A1B016D9F0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2818695c69534e3670b82674cfea0e4cd6e5271","datavalue":{"value":{"time":"+2021-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4990024$65E7DD93-A0F0-4E2F-B120-BE393AF313CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fab80b3c311bdab63b83abca82915a779bf7fc0","datavalue":{"value":"00-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$72C787BF-37E2-4855-8505-AB6D6F9F1C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$8096EBB8-A8D7-4ACE-B957-CB45A0CDF272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$52A9BE87-33A7-40DB-A48B-E68C9540DE83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"872978186d3c0cbce4ae5e8ce4707dfb3f599f07","datavalue":{"value":"7351698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$4F7605C0-153E-4E19-A4DB-AFBA572A4F6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff1837eeb76a6268bced938799ac0dfce09ebe9","datavalue":{"value":"theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4990024$6337B6CD-6654-40F9-80CA-70E7B926EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4990024$06D9372B-C528-4587-B399-5E71F719095C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4990024$2A0E9B79-F419-41F8-9EC6-9B88B57FC06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4990024$D062D58B-32C9-4EBF-B0FF-DE4D390CDCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4990024$B99BCB18-A74A-4C75-A2AF-0B4471A1590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef17df7b045068721b3dac1d5f1c032a8143a3b2","datavalue":{"value":"mathematical methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4990024$8157706A-1474-4D87-A2CA-F648FF1ADF19","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":"Q4990024$BBAEAB05-480A-4122-A77B-21B32656FEEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e26e35ebbf501972609be7049d5dc2d063efff1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68375-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4990024$C536F64D-1F70-4A70-94B1-28BD9AE57057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d68f9f9ea7aaffb4f633f7ecbe3846c1840130f5","datavalue":{"value":"W4205994223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4990024$E3A1B1FE-5264-4381-95E5-F2B4BB843E76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b651c97e44f8ba4968f8765826aaeda52618b65","datavalue":{"value":{"entity-type":"item","numeric-id":5228810,"id":"Q5228810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d47d3f5d2a1c7a07dfa96df823394a90bc4012","datavalue":{"value":{"amount":"+0.8595886","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":"Q4990024$F6775F4A-2ECA-45D0-803B-612B53ABEA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ca53add565b763959d2d85eac1e77b1fe05fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5113825,"id":"Q5113825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef966e52638d5370536f340296c720d3b8d857c","datavalue":{"value":{"amount":"+0.85903716","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":"Q4990024$3C63CEF4-1849-4197-A6C3-34027EE7911B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4266d29037cc9a1c0680a49f936b22022af1f940","datavalue":{"value":{"entity-type":"item","numeric-id":3112527,"id":"Q3112527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a640506f04d4b138fc046d439628ed69dcac1d","datavalue":{"value":{"amount":"+0.8518541","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":"Q4990024$185BE68F-584F-4D33-AE1A-E3A704406380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50294e362e31f6f2ef62a729e48522189d3e814","datavalue":{"value":{"entity-type":"item","numeric-id":2833550,"id":"Q2833550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166a5ba424c7cb4920545761102ec66c0a1f5036","datavalue":{"value":{"amount":"+0.8490091","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":"Q4990024$A0031632-34E4-40F8-8FF8-97A12DA131D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5154396c245e99103de6a8eb33b35ee17a291abf","datavalue":{"value":{"entity-type":"item","numeric-id":5395379,"id":"Q5395379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3017c4c5582f1d178fd2a87643ebc065ea6e01df","datavalue":{"value":{"amount":"+0.84550273","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":"Q4990024$739D00AA-23A3-4400-A668-39814D8FD3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297a4e72f156f7c1bff521c2baaf2f112c528e12","datavalue":{"value":{"entity-type":"item","numeric-id":5389161,"id":"Q5389161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e420450c13a7e842497703a028a6bb11aeb5054","datavalue":{"value":{"amount":"+0.84277284","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":"Q4990024$9B398445-9A8C-4259-9301-E9A955887066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b1c917e05468129eb6bdafc323c26e423c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7684f152eac7a33e644c0d4d84685d8a3403501","datavalue":{"value":{"amount":"+0.84215546","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":"Q4990024$214E36B8-9626-4AA2-9910-AA31843FE1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943a4a327d019fd6905ede63e5044ecce57abb71","datavalue":{"value":{"entity-type":"item","numeric-id":4261989,"id":"Q4261989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458adf61f64be54d85de8a58b203595d75c2370e","datavalue":{"value":{"amount":"+0.83929193","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":"Q4990024$1F13E07F-AC55-4973-8766-2C56A39FCEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffafbc4b2d6b82fedc7ed8224803b4ae1f1053b8","datavalue":{"value":{"entity-type":"item","numeric-id":5434177,"id":"Q5434177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458adf61f64be54d85de8a58b203595d75c2370e","datavalue":{"value":{"amount":"+0.83929193","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":"Q4990024$E4EC8E4D-3AC2-4832-995A-92A0239B25EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theoremus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theoremus"}}}}}