{"entities":{"Q4025011":{"pageid":6054772,"ns":120,"title":"Item:Q4025011","lastrevid":55212511,"modified":"2026-02-04T21:17:18Z","type":"item","id":"Q4025011","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 120350"}},"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":"Q4025011$59C25B86-F5FF-4F26-B133-0C54457CAF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e44bbe6c5f600ba2c3f64a2f0f371627e20e192","datavalue":{"value":"0761.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025011$2F5AA7C8-75A3-48F1-AC6B-348FD448B22E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6ca0116ea8f3a7e5d63d2b7a681797563ad56c","datavalue":{"value":{"entity-type":"item","numeric-id":993492,"id":"Q993492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4025011$676781C4-A5D1-4172-9A2C-D518DF53A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4025011$2AA031C0-F02C-4F46-B791-944231D22595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23a4a462ecb1c2bb71942cea74b7fdc5aca3680","datavalue":{"value":{"time":"+1993-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4025011$CD3B284A-D5E4-4F83-82DE-F80CBB5756DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025011$4CE7D236-CD66-496A-B174-AD354EDEDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025011$E1184797-AE92-4347-BF0D-644C67FD72C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b727c93fc8d1719e4ae551d50927025e46bdfadf","datavalue":{"value":"120350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4025011$0226649B-CCC9-4829-97AB-C658DC4FEF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f772910cac0aafc69703f7038727775198e2f890","datavalue":{"value":"compactness theorem for propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025011$4C9728D5-730E-41C8-ABC7-6B36E0711A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025011$1D6654CF-008D-4D9F-9BAE-F167923DE063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ced88c08260370179c3d527730d0b71690f6a11","datavalue":{"value":"axiom of choice for finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4025011$4FF9F28A-F75E-4A79-9823-A3A5B9A87B75","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":"Q4025011$4BACA963-7A55-4E41-9F46-7E048B31C1B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df54f10beed2f2d9f51781e2cce4bda157356b72","datavalue":{"value":{"entity-type":"item","numeric-id":4009136,"id":"Q4009136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac17cea6d50aa42cf8a32ca40c37ea2855eb13d","datavalue":{"value":{"amount":"+0.8327115774154663","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":"Q4025011$082514D9-DEE6-4EBC-9708-307171CF55DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c58d939f02c92a7587e92b4f5536d867cb3d269","datavalue":{"value":{"entity-type":"item","numeric-id":3590048,"id":"Q3590048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c5b47daa44704c6b9ce2f9229ce613f9b60b61","datavalue":{"value":{"amount":"+0.8297646641731262","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":"Q4025011$2D40423E-FAF7-4DB6-AC2A-07E42A3FD173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fd973e34b1b8fda06864b719edb6fd19a44a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4943496,"id":"Q4943496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466b9436537a740336c41fe075802fd61d874b99","datavalue":{"value":{"amount":"+0.7997649908065796","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":"Q4025011$6D139F7B-4702-4235-8F62-BE93803100D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae21d6f5f858514cf44a44965cc21f1253a20a1","datavalue":{"value":{"entity-type":"item","numeric-id":1778064,"id":"Q1778064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a91683e610dc9ebb413f8f7f713ad51a4a33766","datavalue":{"value":{"amount":"+0.7732067704200745","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":"Q4025011$DE5E6D5F-E5A2-4E50-817E-BBA04CEA584E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae23682d7b86a398aa3b1608a9f95cafad387d6","datavalue":{"value":{"entity-type":"item","numeric-id":4250065,"id":"Q4250065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd68faf569ea0850fb7319c308bd20d56c73d43","datavalue":{"value":{"amount":"+0.750909686088562","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":"Q4025011$6A27EC3B-06C4-4A31-9D12-8A4159FEC688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4025011","badges":[]}}}}}