{"entities":{"Q3773859":{"pageid":5803765,"ns":120,"title":"Item:Q3773859","lastrevid":52181963,"modified":"2026-01-21T02:50:04Z","type":"item","id":"Q3773859","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033718"}},"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":"Q3773859$CF92A077-7271-43F5-ABC6-254FB3EE07E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2238d4843e09ef8aad61037c7a52b45cd1d9a370","datavalue":{"value":"0635.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773859$9F53F288-4BEF-42D1-B8D6-FB6FB758FF5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a4421a35b97643ec3e69a6ceb763290fb66d19e","datavalue":{"value":{"entity-type":"item","numeric-id":186028,"id":"Q186028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773859$B50835A5-76D9-4B23-8C22-A23EB5067C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3773859$E5725846-E3A5-42D8-99AF-4BC5B22B072C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773859$3EEE6BDF-EBD0-4035-8162-13F37F0FEFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773859$DDE20123-9473-4566-8E4B-754DA48F3C56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01e9053ccc95d73835cb390bd8c94e40aa4b4999","datavalue":{"value":"4033718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773859$5457A158-723D-4BFA-950B-B47518F547D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc6ba331f32d9f97f6c18d3600e697695987e5a","datavalue":{"value":"Omega-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773859$361ADBA1-3C2B-4E4B-B2E1-8CBDEDD4FBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773859$B333554F-E914-43AB-A8C1-5A3E9F1B7825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c8b2ed1ec23838fa25b59ed8d388ba89463d4a","datavalue":{"value":"steaf over Omega","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773859$84F54E70-6F85-4A21-B411-E825C059906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"646bf7a46ba8eb77f6ad60dad6ecfc963134600b","datavalue":{"value":"L-structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773859$B56ACF60-3810-4A7E-8588-B2C0F9EA544E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3e37a2d855f9c60734af19461281dd4cfbdbba","datavalue":{"value":"downward L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773859$EB969D23-9489-4C79-8404-BB6C0AAFC97B","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":"Q3773859$CD1D9EC4-4BE0-4650-8206-6FFE8D940F24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e64df7de16a90132c17cbfbae775edb29de4207","datavalue":{"value":{"entity-type":"item","numeric-id":787963,"id":"Q787963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7ac0866c4a5dd042a89f7abde2a9f8241be100","datavalue":{"value":{"amount":"+0.7721334099769592","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":"Q3773859$58A61BE0-E7EA-4FF4-8218-9E6569F80EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fc4e218e5d333ec35672745f8c4cdae1527acd","datavalue":{"value":{"entity-type":"item","numeric-id":4982681,"id":"Q4982681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90961904af026b73447ad258d4d4c4e170ecf798","datavalue":{"value":{"amount":"+0.7518957257270813","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":"Q3773859$032EE2CF-705C-4FC1-9E58-56351739FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7374009e643c2d5708504e5b50e5b14dd2b31d43","datavalue":{"value":{"entity-type":"item","numeric-id":1109770,"id":"Q1109770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0319dd9642051e901101bd626aaa79671e144d29","datavalue":{"value":{"amount":"+0.7498313784599304","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":"Q3773859$03EDA74B-B6BE-4122-B972-9483A8257DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997c713de4c1d439a30599761c184bdc0a231b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4654078,"id":"Q4654078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d27acfec9095a55e89abfbb5ff8f143a6b3e443","datavalue":{"value":{"amount":"+0.7430850267410278","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":"Q3773859$D1EE4590-C878-4226-A5A4-F1A282B4166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0acbb308c5a4bfbcf107f91e2e2f0782deec261","datavalue":{"value":{"entity-type":"item","numeric-id":5476779,"id":"Q5476779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188484ed90ad1b620f12a2eb4c4a0942cec3c9af","datavalue":{"value":{"amount":"+0.7424963712692261","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":"Q3773859$79DEC610-9860-46AC-B78D-BF21B6ED0ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773859","badges":[]}}}}}