{"entities":{"Q5841793":{"pageid":7871344,"ns":120,"title":"Item:Q5841793","lastrevid":32006788,"modified":"2024-03-19T20:37:31Z","type":"item","id":"Q5841793","labels":{"en":{"language":"en","value":"The deduction theorem in a functional calculus of first order based on strict implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3103018"}},"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":"Q5841793$23C38E4C-2106-45A3-A92C-C42C345F99E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daeb49809585c740e5231633a8d30269e620fbe7","datavalue":{"value":{"text":"The deduction theorem in a functional calculus of first order based on strict implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5841793$D4EAC031-F324-4956-867E-8544B608CB2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6e4da05b344d1f065ff4070b7a19cab0e370f81","datavalue":{"value":"0063.00206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5841793$AB326047-1195-4061-B2D7-6DA96EC9F29B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94db00b55c3b24528e228ed2239e44e4353eef21","datavalue":{"value":"10.2307/2268309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5841793$BDE4CA9A-8379-4387-8B4E-48141D83D3C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af644c6ed8ac18691576156896f5b8ea33d4f324","datavalue":{"value":{"entity-type":"item","numeric-id":4919633,"id":"Q4919633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5841793$D09CB890-A2D8-4D68-BBEB-EBA5EA68CFB7","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":"Q5841793$A778F80C-60F5-4317-84E1-65535A93BEF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"707a709700f4b38e8ce978448a09f4dee9f44cdc","datavalue":{"value":{"time":"+1946-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":"Q5841793$CFCDE84B-8DA4-48CB-8AE7-82A6F6908998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737c4056580233519e0a38df36d32504f13189de","datavalue":{"value":"3103018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5841793$4DACF372-E22D-433D-80DE-082C53FD17DE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6bdf1ad3a6c4ab290348f896e510b83a72c6f638","datavalue":{"value":"Q56227311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5841793$CA22A871-A3E3-47C8-A889-7F7F6A2C8769","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":"Q5841793$7E743E07-2D2E-45C8-AB77-D7268C6C382E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eca37b89654ab648d0eb0c7d61e71375c6c226b","datavalue":{"value":"https://doi.org/10.2307/2268309","type":"string"},"datatype":"url"},"type":"statement","id":"Q5841793$0456896F-FFAA-4318-9430-AA0576D784B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b623f9208ee9dec2ccfcec16ed5f2a21ef656165","datavalue":{"value":"W2124788466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5841793$82AD2ED8-675C-4F9B-8F2D-DEB36B400ACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5841793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5841793"}}}}}