{"entities":{"Q3864488":{"pageid":5894393,"ns":120,"title":"Item:Q3864488","lastrevid":54551210,"modified":"2026-01-28T10:50:13Z","type":"item","id":"Q3864488","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666758"}},"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":"Q3864488$331B1AA6-B1A3-46CC-8804-0DA91D02B52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e86a071301170d62bf9fc2829ebe935908eae3e9","datavalue":{"value":"0428.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$044A56EF-36FB-42F5-A694-9CA74559DCB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3864488$E20F0A6C-C6B0-4F27-8683-EE6BE73FD03B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$3BF4700C-30BD-4268-BD00-D69015522704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$1F01787D-28A4-41C1-9ADF-6202B09BF1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$5F88BE52-98A3-46CB-A815-96D3D46A436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$9FC29FC1-862B-42FC-BC24-2F5B5B9A14B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$E0EDCA6A-51C3-4592-B624-A6285351DACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0669944798b73196baa4a06e829cb9b44150a5d","datavalue":{"value":"3666758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864488$1EED6351-1BFE-49E2-A3D4-1C8542C3C9EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf2b140131b554c67c6f19033eb07836c1a40e0f","datavalue":{"value":"mechanization of deductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$0237F07E-5481-43E5-9F07-8634DB9A6352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$6A81D42A-1505-4F16-AD44-40FD71CBFBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$C09444C1-9811-4AAA-82B8-505EB3B6AD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4148355fe827898fb17ba4663f50b2c80c4f21bf","datavalue":{"value":"valuation of sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$C4A829A1-60D9-4F1F-AD1C-EBEC7932A0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$140C8E34-1DE4-45C7-BCB2-1063A43C1168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$E8B441E5-F4C1-4369-A743-8E7AC663011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9fe91b573613b7edc2f22d8794392073fdce30","datavalue":{"value":"clausal transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$D8EE9C11-57E6-40C8-8540-3DDB6B373A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6a4440f565f1d68ea4770c55051c92ddc83ca2","datavalue":{"value":"Herbrand map","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$FB4DA771-EAE6-4C15-ABAA-E8A83D1A1DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7051a28ad36e5100a07c69eff07a493c97a69","datavalue":{"value":"LISP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864488$1D81ED2C-5D0C-4C06-904B-2B77A77CEB2A","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":"Q3864488$FFB1AC89-FB1B-4D12-A5E0-4A2D7A83CDB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3864488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3864488"}}}}}