{"entities":{"Q5824353":{"pageid":7853904,"ns":120,"title":"Item:Q5824353","lastrevid":97412051,"modified":"2026-06-05T14:41:18Z","type":"item","id":"Q5824353","labels":{"en":{"language":"en","value":"An extended procedure in quantificational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3083484"}},"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":"Q5824353$A6CC8A4C-365A-4E49-AA7D-9E0668FA925D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faade3e5859d6e2d66dfb918528b304e74e1304b","datavalue":{"value":{"text":"An extended procedure in quantificational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5824353$D7528168-7AE0-45F1-9F1B-6469BB62C668","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b821912706ed4cb8d272e628487299f09302f4e0","datavalue":{"value":"0052.24801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5824353$6DFEEE53-CAE9-497A-B8A5-D036280B40AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a95cf05cc09abc23a2c3793d8267bf1bb1612e46","datavalue":{"value":"10.2307/2268939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5824353$DE4665E5-13FB-43A8-BA63-8016AAE8BCB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a2cd7351e400e2cbf6af0e014cc4cb4cfa9e13","datavalue":{"value":{"entity-type":"item","numeric-id":5341763,"id":"Q5341763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5824353$390881C7-C873-4C68-8206-E2435D52C510","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":"Q5824353$2E063B8F-7F08-4D6B-B040-41A425C026D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f46c77109d334bea479036cb111c5901c32e04e2","datavalue":{"value":{"time":"+1953-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":"Q5824353$DC16A124-ECF8-4EAE-B8FF-F161E3FD40F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"014ac4b96b9499504dc8eb095de6e9744308ad7b","datavalue":{"value":"3083484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5824353$1FE4C374-0020-4B13-BE6D-31DA6CA58FCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a82faa36e079e9c253f60fdf24799386c02e9e8d","datavalue":{"value":"foundations of mathematics, philosophy, logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5824353$4A483933-011C-47FC-9022-A2C583D07660","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":"Q5824353$DA636F43-78F9-416A-8399-5A1EC4DCAD13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26ee27dd20afa7857a497094c02a4c9d44c48b33","datavalue":{"value":"https://doi.org/10.2307/2268939","type":"string"},"datatype":"url"},"type":"statement","id":"Q5824353$2A4F6291-4C30-4EDD-955C-EAECA6B484EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4922c0f9d91ab730865df694de51e1c036b49c62","datavalue":{"value":"W2152498885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5824353$3A136AE8-FFE1-4577-83D8-76799D2C8F53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2159c3c4326e867eefc402b79787d316182c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5834317,"id":"Q5834317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5824353$552D9A1E-C0A3-4F5C-AE08-C4CC1EA3A4DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extended procedure in quantificational logic","badges":[]}}}}}