{"entities":{"Q1211481":{"pageid":1222230,"ns":120,"title":"Item:Q1211481","lastrevid":66309009,"modified":"2026-04-12T09:06:38Z","type":"item","id":"Q1211481","labels":{"en":{"language":"en","value":"A survey of deduction theorems for the propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3456883"}},"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":"Q1211481$6703AE6D-297E-4C1A-AC20-E3B215432D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86e012ab5d045a7bf64e6f50fa3c6cae7561434a","datavalue":{"value":{"text":"A survey of deduction theorems for the propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1211481$55A8CA45-08F1-458E-883A-FE4A069A368D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fa3830ba29963a7d81c0a0d067418228156ec93","datavalue":{"value":"0292.02003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211481$C6156E7B-4281-447B-B6EC-7B9BBA4E6469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2708be60946acafd3b80463e071bf5b671f5296","datavalue":{"value":"10.1007/BF02125917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211481$BD581CF7-EB7F-40C0-8BE3-EE3073A8ADE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"577c92f88fe60cd1e98012f369f965b4bb1d1748","datavalue":{"value":{"entity-type":"item","numeric-id":195356,"id":"Q195356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$28675C47-F7FC-47E3-9BE5-E428215AF0BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$8CA6AD2F-9CDC-44AC-86C4-3F0A8A5B8A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804e23327f0ab182053e3ef9eb82baf008dc7187","datavalue":{"value":{"time":"+1964-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":"Q1211481$BC1BCBA1-D238-47F9-B681-F87DAC63A61E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211481$6FE82CBE-7237-4587-AF60-DC2B2A6B00B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211481$8A86E890-E5B5-4DCC-B44B-906A3303EC81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ed57e072628395da4faa03b33b88c34f035ee6a","datavalue":{"value":"3456883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211481$0B369C02-422E-4865-9797-9129F56C808C","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":"Q1211481$07040FA8-9403-42F7-9DF1-A696C5B84C71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babcb2136f09546a315df53e15ed48a3be9ff116","datavalue":{"value":{"entity-type":"item","numeric-id":3849883,"id":"Q3849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$B9EE722C-18CF-49B9-AF13-933BCC95F628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f968ca4c9d7326a9ce229487efe06806ccb6e2","datavalue":{"value":{"entity-type":"item","numeric-id":3272465,"id":"Q3272465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$3A884A0E-B891-432D-BD8E-5B34BF959F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afb61c580aaaf9dc94610f33124332948513e8","datavalue":{"value":{"entity-type":"item","numeric-id":5841793,"id":"Q5841793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$C4A4EAE7-8CEB-4D15-A7F5-07368F822EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c133a790f34e564e53e5ca47ca90b590a098c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5824671,"id":"Q5824671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$FEEA1FA6-09F8-4EAE-BA1F-91A2E48D359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$7B0289A9-83B7-40EE-8732-F7DC3FBC02E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$CDEA5E24-75F0-4337-AA0B-26ABFFF0B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43dbd1123d18622184cb87affa636a4cb57e7569","datavalue":{"value":{"entity-type":"item","numeric-id":5830893,"id":"Q5830893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$5D9145D1-A2CA-414D-B09C-07D9D3E7B923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1b8e72cb9e947fdc75375ea0bb779ef5fff8a6","datavalue":{"value":{"entity-type":"item","numeric-id":1211488,"id":"Q1211488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$1F5D4B41-B21F-4683-9C93-12D7BB3BC7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d2a94415626334b2162d5dd1a5ad82bd823c6","datavalue":{"value":{"entity-type":"item","numeric-id":2626580,"id":"Q2626580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211481$194BD72F-EF86-4874-B551-376515F2F8A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of deduction theorems for the propositional calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_survey_of_deduction_theorems_for_the_propositional_calculi"}}}}}