{"entities":{"Q3964533":{"pageid":5994438,"ns":120,"title":"Item:Q3964533","lastrevid":55119571,"modified":"2026-02-03T20:48:15Z","type":"item","id":"Q3964533","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786741"}},"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":"Q3964533$B5A507B7-1618-44BB-A518-BBD85F8F4BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec24ec20b26bb12089a2e6e474a509e4fb1f6afc","datavalue":{"value":"0499.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964533$42836984-99A2-42DD-AD45-A24E7425A6C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5029835993a287b73cbda73f8b85671562e336","datavalue":{"value":{"entity-type":"item","numeric-id":236466,"id":"Q236466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964533$6CC33C7D-724A-4FF3-8319-C65E52D3B70A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3964533$F1820DAC-B80A-4D2B-9C2A-7F32548BD397","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964533$A066CB92-33D4-47B1-AFFF-0BCA727CC17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964533$B6B154CA-9F1A-4898-A040-7E5584470E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ae3fa1e99948a4db39d934f16eef36c15812a9a","datavalue":{"value":"3786741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964533$70BFC7C5-AD4B-49FA-95C8-46411DBE1B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d7f9cbd0bb33527b31b036cab17a841e58ac56","datavalue":{"value":"Hintikka formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$7965D9BE-5F1E-43F5-BAFF-B7C76E750F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$FBD4FC20-CF45-4873-99C2-419E02F5A9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$A80E2BC7-D763-44DA-A4DE-882F3D5E23FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905302385a530d847b0bccaabecab74a21b366c","datavalue":{"value":"directed systems of good formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$2A949055-719B-4E12-A34F-F175D7366732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72be51c024d280b2a49b2c8a4b6b8edddf134479","datavalue":{"value":"direct limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$40642B29-6925-4953-AEAE-016BF524A15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a8119d890b3fef2a1e05a21eedefcdb0009c03","datavalue":{"value":"tree construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$50F9796A-9B18-4B9D-AF19-5B18FCEFBFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673eae7a8335f193b7aa4680d720319b44279be4","datavalue":{"value":"generalized Koenig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964533$3166A445-963B-4FCB-826E-4FCBAABF0073","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":"Q3964533$332D00B5-A20B-425C-AB6D-BA1A0FAD6DC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3964533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3964533"}}}}}