{"entities":{"Q4250065":{"pageid":6279666,"ns":120,"title":"Item:Q4250065","lastrevid":46831086,"modified":"2025-12-25T16:36:54Z","type":"item","id":"Q4250065","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303454"}},"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":"Q4250065$291A25D7-A986-4D48-9103-BB3B0A637157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9bac172f2ff0630c17fa69c8edecc5f5dd454ee","datavalue":{"value":"0923.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250065$840C12CF-7744-4DF2-BFD4-8143BF19EB43","rank":"normal"}],"P16":[{"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":"Q4250065$15453CDE-F54A-4460-820F-74CEDCF7975A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d4fe5e834934d2e74b96ad4dcb56bf87c7268c","datavalue":{"value":{"time":"+1999-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250065$44927D16-DEE6-4029-90BE-CD421137A5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250065$8F6C61E6-4EAD-4526-A862-84D44040629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250065$D45ED41D-C3F3-4E93-A5A2-9CE0BAC9CE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250065$65695EA9-A434-4B2D-85DA-E2BE1DF74DC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"360cb400a7000c8560d57436861f403cc56c5a67","datavalue":{"value":"1303454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250065$AFF67DE2-7894-4A5B-856C-BE36DA999819","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ad90cf650cbdb9a4bc3bf719c5126eb2067a1e","datavalue":{"value":"restricted version of the compactness theorem for propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250065$F24BD951-1122-43D3-9EF0-4DD66ED83C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250065$3DF64A5A-71E6-4D2C-B2E3-160461EF6C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f5446c68b94384ee0adceb30e86bacb29decd5","datavalue":{"value":"order extension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250065$62C9078F-9489-4853-8A63-366468337E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0503e87b0acff26f635285d13119340cdc06484e","datavalue":{"value":"Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250065$20B65BEF-7C0D-46B7-8522-BAA172184A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c292f90e3c9f916d3ad72951f3be0330b98d5bb","datavalue":{"value":"satisfiability problem for sets of propositional clauses with 2 literals per clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250065$E6A93B0F-CF40-4AFA-B920-8363263DAE5C","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":"Q4250065$F14AE8F2-0C9A-4BCC-BB18-D6BD7B7DF9F2","rank":"normal"}],"P1643":[{"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":"c5b7d56bf39227c6739f6aaa640211f0a36495cf","datavalue":{"value":{"amount":"+0.7537747621536255","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":"Q4250065$81C250F1-11BF-4BCB-8663-67DF28B31D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885bc30e09a48d34a9cc6b4e06a5fba21674b122","datavalue":{"value":{"entity-type":"item","numeric-id":4025011,"id":"Q4025011"},"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":"Q4250065$3598501F-5FAF-45B7-842B-2946A0149910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee1f0d9b87d71c7c83bd9a293809f7f6a133b50","datavalue":{"value":{"entity-type":"item","numeric-id":920087,"id":"Q920087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcbf1d7e6a63a0f3303fed9cb733d518ce9afb4","datavalue":{"value":{"amount":"+0.7229674458503723","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":"Q4250065$D239688B-1084-4EFE-97B2-EA6EE84AAE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97eea7ff95db044d83741b6329ea562cd80eaef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542611,"id":"Q4542611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497b2cefbc928e61ebd19808ef178479f2fc9f52","datavalue":{"value":{"amount":"+0.702356219291687","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":"Q4250065$028F3969-F907-491B-87E4-FB6E3B282B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250065"}}}}}