{"entities":{"Q5545511":{"pageid":7575071,"ns":120,"title":"Item:Q5545511","lastrevid":34517294,"modified":"2024-06-11T21:05:31Z","type":"item","id":"Q5545511","labels":{"en":{"language":"en","value":"Omitting types of prenex formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3257396"}},"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":"Q5545511$5440A6B4-73B4-4623-8401-BECE11F7DDE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c441d24c63e5ae1c39542360b4272d568dd991b3","datavalue":{"value":{"text":"Omitting types of prenex formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5545511$248D0757-56C7-4B0F-9434-A77F992D0CFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef1d0f4e62e5390fe96f2d7547a3077a29934fad","datavalue":{"value":"0161.00503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5545511$1145A25E-FFF8-43AD-B361-74A47685A8A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3bd296651e7cbd7734be6f79453f60137984a6f","datavalue":{"value":"10.2307/2271243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5545511$99A337E2-26E2-47CA-87FD-B69C3814BBC6","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":"Q5545511$AC14D40B-F75D-4DFC-A53E-6850ADED4639","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":"Q5545511$C0AD7D96-C11F-46E1-A391-981604A6A3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q5545511$A628F2BA-0F03-4D4B-BC23-6F47EA39DBF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166747766bb9b19b9ac6bb7d91354995df87caf5","datavalue":{"value":"3257396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5545511$0252D5A0-9E58-45B4-B0A6-355FE3FEA321","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5545511$FDCBD5B5-DED4-4A55-A535-46A1C999B72F","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":"Q5545511$4F12302B-4F0E-4AF8-AD9C-68DFCB98E3FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89a92f1c388a6725133edd68e8a1da5b6af8dd7b","datavalue":{"value":"https://doi.org/10.2307/2271243","type":"string"},"datatype":"url"},"type":"statement","id":"Q5545511$4667BCFE-1B60-4181-BD08-0B2570B6B216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e438b064befb2de6f3e3941b3970452af44c230","datavalue":{"value":"W2154247659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5545511$B18DF18A-486A-4F23-94DF-DCF8211D7C21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70ecab8e9e11739e98d85746456045d94f08b81","datavalue":{"value":{"entity-type":"item","numeric-id":3848967,"id":"Q3848967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5545511$40CC6CC1-CDEB-4866-BFA5-065BB720B33C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5545511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5545511"}}}}}