{"entities":{"Q5731774":{"pageid":7761328,"ns":120,"title":"Item:Q5731774","lastrevid":97018079,"modified":"2026-06-05T13:02:57Z","type":"item","id":"Q5731774","labels":{"en":{"language":"en","value":"A weak completeness theorem for infinite valued first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3195385"}},"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":"Q5731774$7A72E274-B1C2-4892-955C-64AD9AA8A2AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5042c7d071c1327a3b851898e663a573b1902afb","datavalue":{"value":{"text":"A weak completeness theorem for infinite valued first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5731774$80D35BD4-40FF-43BC-9773-BC0D696D88DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5264298b5864c107614bd94af7416a6578a3ca4","datavalue":{"value":"0121.01203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731774$4249AC85-6601-44C5-9CDF-C7311A905B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70ca2ab52c4d954700659951816eb7c7d883a898","datavalue":{"value":"10.2307/2271335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731774$972EE227-6317-4BAC-936F-2590CAB73373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4558b897fecb56d4dbdb8f4a78d7f6d86e4bc3fc","datavalue":{"value":{"entity-type":"item","numeric-id":1130781,"id":"Q1130781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5731774$DBD3D597-4AA9-4C92-890F-52E9D271EAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb3a13437edece8f0c18f6e1a8662f419b26e2e","datavalue":{"value":{"entity-type":"item","numeric-id":1943684,"id":"Q1943684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5731774$D49F9CB2-8138-4F86-9E42-7A27ADE9A855","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5731774$74D6B7F8-BD75-4715-9851-AF8567FDCB26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804e23327f0ab182053e3ef9eb82baf008dc7187","datavalue":{"value":{"time":"+1964-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":"Q5731774$2EC478BD-A02F-457C-BA2C-94FDA336F63F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bd43a5d837a30bae9360a189e835a42cd616c13","datavalue":{"value":"3195385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731774$CC6A534B-D66A-4B37-A2BF-158BBEAEACE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5731774$51388E5A-C703-4FEB-A6F3-AA5F2C5193E5","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":"Q5731774$817D750A-101B-4E28-9A25-6188A4B51B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f675381382931b17db619cfae6fca62cc127d923","datavalue":{"value":"https://doi.org/10.2307/2271335","type":"string"},"datatype":"url"},"type":"statement","id":"Q5731774$25CC7B58-6DD4-4116-B290-60896821978F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbef01030fa8ae6260fa5ae13dea3448209ab1a5","datavalue":{"value":"W2156452084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731774$53D41D6C-EAB2-4D25-86D5-CD7D34375F70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A weak completeness theorem for infinite valued first-order logic","badges":[]}}}}}