{"entities":{"Q5384794":{"pageid":7414368,"ns":120,"title":"Item:Q5384794","lastrevid":41321160,"modified":"2025-04-28T17:04:35Z","type":"item","id":"Q5384794","labels":{"en":{"language":"en","value":"Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7073393"}},"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":"Q5384794$DA48D736-2090-421B-9BF7-4A889C1D763D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"625962b5716536be5564f2bc434a6913562fa2ae","datavalue":{"value":{"text":"Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5384794$AA60DCAA-1F76-4FD1-BB89-C54908B1F0E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086b19aba86575a957ac0576cfe0a13cb8e5bb82","datavalue":{"value":"1415.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$EEC99212-BB38-4121-9BDB-DF6F31661B50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7453ada76deafe3f5431c965bb7d7bc79fb80a78","datavalue":{"value":{"time":"+2019-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384794$6B29610E-0665-4834-9F39-E725903D37A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$A73375C9-889E-4AB7-BD70-89E4B51B476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$64895922-0D3F-4B2E-825B-0F5D8F2105D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$E55B2AC9-24EA-41F2-850C-B0E5E607AD78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc6173dc4c30c6efe3f7536d211a765b42726d7d","datavalue":{"value":"7073393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$4856DD3B-C56A-4ADC-BAFF-89D75E1FD63C","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":"Q5384794$C69790A2-4115-40B1-9A9A-C6B63B4154E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77ac15ad89a70db6696a49d2fc97982fbaffc4bb","datavalue":{"value":"https://doi.org/10.1090/memo/0010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5384794$59A953F7-9255-40C2-AACD-E303D3C6D146","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37013162a4a50deb8aea6cbdbefeac836eb4339c","datavalue":{"value":"W2334139645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$2C2DA621-FC2E-428E-B3B4-EEDE27824874","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba10d4a905df220ca8088467a80b0297c74a463b","datavalue":{"value":"10.1090/MEMO/0010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384794$461A3CEA-F4D5-49B5-B84C-B9810AB1C827","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384794$41845825-353B-48F3-AA44-A28E422038DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e579ff2efacb42b9d38f2f0e1af9f50e1a4fd27","datavalue":{"value":{"entity-type":"item","numeric-id":3299492,"id":"Q3299492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384794$54689C2C-5B4A-4550-99BB-B12B2975EFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5384794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5384794"}}}}}