{"entities":{"Q2543312":{"pageid":2554055,"ns":120,"title":"Item:Q2543312","lastrevid":44311101,"modified":"2025-11-21T21:48:00Z","type":"item","id":"Q2543312","labels":{"en":{"language":"en","value":"Specialization of the form of deduction in the precicate calculus with equality and function symbols. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3330712"}},"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":"Q2543312$8690BDB6-9FA1-4D78-8494-5BD08BFF5A3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7637fbbd1c437e21f25c94d89379bb38f773183f","datavalue":{"value":{"text":"Specialization of the form of deduction in the precicate calculus with equality and function symbols. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2543312$BBBF39D9-FB21-481B-BEC7-28C5DE180440","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18728eb69a98387c0b1b592f53592ac9e1fdef69","datavalue":{"value":"0208.00903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2543312$61CAC62F-BE7F-4C97-8F39-D75337751B25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2543312$A5841375-132C-4E63-90B5-DC41668207E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q2543312$16806F54-14C6-492A-AA38-9BC15C1FB2A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2543312$3DB47857-AA18-4E87-B552-5B7219582832","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ef416f71477f2d50e620f64d904bd893b6c563a","datavalue":{"value":"3330712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2543312$2015C88B-DD3F-49E9-9F67-07CB8B51EFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2543312$F3636BFF-E786-4DE8-8E15-6AF5ECB1E40D","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":"Q2543312$A84C2C43-818F-4051-B925-42C711536C51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2543312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2543312"}}}}}