{"entities":{"Q5655345":{"pageid":7684905,"ns":120,"title":"Item:Q5655345","lastrevid":34548350,"modified":"2024-06-12T09:37:18Z","type":"item","id":"Q5655345","labels":{"en":{"language":"en","value":"The completeness theorem for infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3385604"}},"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":"Q5655345$B32373EF-CEE0-49E5-B576-78F47FE10DEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"546a8603483fe7eedbad7e7d689ac6d159f20b7d","datavalue":{"value":{"text":"The completeness theorem for infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5655345$25E23D99-E1D5-4311-B49A-A0EDF99A2D99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ded185db6ca0624a68a43103016014a400abd586","datavalue":{"value":"0244.02005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655345$39216446-A3F0-4F93-A5E2-890043029220","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57b81fe6053a8af29bb59008dd73dc8f28fb96df","datavalue":{"value":"10.2307/2272542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655345$7C7829BA-FEC2-4AFD-B93D-61CF30E802AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acfcc90212ff01be9cc42c26d0c47a6f7ee7699","datavalue":{"value":{"entity-type":"item","numeric-id":1158453,"id":"Q1158453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5655345$0E391613-D4DE-4FF5-95FB-FFCC4E95FD9F","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":"Q5655345$8EDD8162-9975-4429-B826-E76AFC1B6FD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q5655345$02E7439F-6365-4CC0-BF1E-6356F7CCE342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655345$DEBFD0C4-168A-461D-BFF0-8D2AC73DFAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655345$7FCD48FA-4E5A-4A91-A327-AFE0CE548949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4608b452c86d5dba2236b1dd3cb1a52da1abe616","datavalue":{"value":"3385604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655345$A23DDB3E-7A4E-41C4-A22D-493CADECADFD","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":"Q5655345$2C2A69F5-8288-43EF-BD76-D01313E29C0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71325480e8dd70614128beb588833395642ed91a","datavalue":{"value":"https://doi.org/10.2307/2272542","type":"string"},"datatype":"url"},"type":"statement","id":"Q5655345$C6E4C173-217A-4E6F-BFCB-2141F5107EB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2432f48e07d3c92d08397c108de937d1139aa3c1","datavalue":{"value":"W1992279354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655345$66726C4E-03CE-4A7B-8509-ADEAEB90BB1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5aaf755bfca43c0f35fd91ddc3c27ae854c336","datavalue":{"value":{"entity-type":"item","numeric-id":2539039,"id":"Q2539039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5655345$57D90A8B-04C8-4A23-AB63-F39DB2B309F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5655345$A5A64A5A-1450-466A-8922-F2667E8C1A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5655345$CFBC3754-94A9-435E-934A-F61F736C1A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5655345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5655345"}}}}}