{"entities":{"Q3249759":{"pageid":3260467,"ns":120,"title":"Item:Q3249759","lastrevid":45787069,"modified":"2025-12-19T01:12:36Z","type":"item","id":"Q3249759","labels":{"en":{"language":"en","value":"Linear reasoning. A new form of the Herbrand-Gentzen theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3133526"}},"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":"Q3249759$9A17FE11-05B0-4C0A-9907-59CB822B81D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af78ba42fd7521f7e81dd3acbd4e1cfcb56f6310","datavalue":{"value":{"text":"Linear reasoning. A new form of the Herbrand-Gentzen theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3249759$BAFE0477-628F-4C46-B752-78E27696BCF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4edc362fa40044238ab23728b057c5d587f3d6a","datavalue":{"value":"0081.24402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3249759$FF51220D-2743-48A3-9177-01CA1C2A6A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84addca843c159f3ef19e4804c92f639985cd0a1","datavalue":{"value":"10.2307/2963593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3249759$9A29B55A-B237-4D53-9E8C-961141CDA60A","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":"Q3249759$D5933A85-0205-4B14-90D6-75A29905C4BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af0b16080fd5cfe09b2e065f2bbebc1c56cd1bc","datavalue":{"value":{"time":"+1957-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":"Q3249759$69810CF6-E1BD-4E41-8DF7-C53C8FFA5D3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c3b7df86773f61898b698e199caf8c2dc792d3","datavalue":{"value":"3133526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3249759$776E07EA-6CB3-4499-8D7E-77ABB0450754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e52d3efb7f97d74890a026183b5a92a080ef346","datavalue":{"value":"philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3249759$D87B996D-6A57-4050-8B18-D183623D9FA3","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":"Q3249759$57791185-638D-42D8-92C2-6E43DF65F702","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf20095709874406f6eb776a34179460785191d9","datavalue":{"value":"https://doi.org/10.2307/2963593","type":"string"},"datatype":"url"},"type":"statement","id":"Q3249759$E6964DB4-945F-4323-BF25-7A798080D1AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ae26d38229f7eef11781f3df8f7a88d3c601a7f","datavalue":{"value":"W2098244894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3249759$D5EC97CB-6605-4642-9118-9A3573495967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3249759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3249759"}}}}}