{"entities":{"Q778737":{"pageid":780586,"ns":120,"title":"Item:Q778737","lastrevid":64270851,"modified":"2026-04-11T18:44:38Z","type":"item","id":"Q778737","labels":{"en":{"language":"en","value":"Formal notes on the substitutional analysis of logical consequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222694"}},"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":"Q778737$8756B5D3-243C-4F51-84EC-3717D32C1D3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"548a85be971d7e07310f264d625690a8b815d26d","datavalue":{"value":{"text":"Formal notes on the substitutional analysis of logical consequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q778737$808CFE56-C98E-488F-B3E7-9E3CDE2E3D2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f74ff47a0657e68a9d7089cb67097946a8cce2d7","datavalue":{"value":"1506.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778737$125E9DFE-0380-4E25-A051-19424A599BE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a19bb5f2b62c103ef48ba5aa4c29ee73d3bca47f","datavalue":{"value":"10.1215/00294527-2020-0009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778737$76B1008D-7F8E-4552-8C9E-8973C3BF01B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc10c263403183833a9c235afc14c1a369550750","datavalue":{"value":{"entity-type":"item","numeric-id":175245,"id":"Q175245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$3E55DF18-B11B-46E9-8B09-F3CFE398A100","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$C1F6007C-094A-4E4C-B9BD-BBF41715D10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q778737$E841AB76-EF71-411A-BC7C-D624AB4A88F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf1c52d0d923097ed356fa54f6ebcddbbdd633b","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1586224880","type":"string"},"datatype":"url"},"type":"statement","id":"Q778737$65C61B1A-C385-4C3A-8CD7-DC3F6BF785B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a45b93132b8211cbe78871bc135b2ccea43f7b7d","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:1d770ff9-54d1-4e72-9759-3e2ce5374bd4","type":"string"},"datatype":"url"},"type":"statement","id":"Q778737$65E06BE9-748D-4496-85E1-2982DAE560EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778737$742139D5-9C4C-44E2-9E82-0E50BF9335E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778737$10A8CF82-4651-497C-8369-285CD50DF335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13f0902983a7941dc1662c15ad4de03b0eeca712","datavalue":{"value":"7222694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778737$A46DCDFA-1AF0-42EA-8F9D-F6C697788C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q778737$26302E4F-91D0-46BB-98AC-D6B0326F9524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b878ed00a8f5a3c2c53b9314074b3a6e852576ff","datavalue":{"value":"logical validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q778737$2CFFBC31-6C8B-43F6-B1A4-93C4FED6C646","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":"Q778737$08918EA8-F7E9-497A-AC8A-4830E28D9BBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"394d24d2578b66649fdf558b93c300b4ccea45ed","datavalue":{"value":"W3015637156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778737$18E52556-6CC5-42B6-BA40-47251C2F1E44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f4cba03f5097be6cd6f30ef8c6943dc663c490","datavalue":{"value":{"entity-type":"item","numeric-id":4593262,"id":"Q4593262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$230164FD-43EE-4F57-9A46-F78F7B76124F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7bd199a472b4ba0ffc305b99b3f2c097fd070c","datavalue":{"value":{"entity-type":"item","numeric-id":4001483,"id":"Q4001483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$94CED922-1CF8-41B1-9944-21FD6C8E37DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbbf8ed0c9c4d51c37ff1b8f20361d034275c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5214789,"id":"Q5214789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$537E7B03-85BC-4F66-8B7A-148C345F485A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$0B0BAF6D-F3CF-4D5B-8DF9-E82145F6D78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27733ec2c2f7fc26856cb55b2429e5576d599689","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$76422BD3-398D-4915-A3B5-9D1F6AE8B2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$728C42F1-281B-4DF3-9344-9864C55BD5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaac2d3e7c3b507365be4d6df54659adce00a06","datavalue":{"value":{"entity-type":"item","numeric-id":4236324,"id":"Q4236324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$34C6F498-BF62-4C25-B018-780938CBCCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$A639DA6C-B84C-4B5E-A8D2-235661F0A4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$0E50F3D8-28AA-4E87-8065-9141A41E2A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$CDF58B74-9BFD-4F50-B864-C0B6B535A031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84618d9560cb02ace9abbcec545ae650a919128","datavalue":{"value":{"entity-type":"item","numeric-id":1198407,"id":"Q1198407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$21B0C3E1-8C74-40F7-9B3F-D48FA73C8BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bb2b7b2924b162298bbc02fd8c1d62a5d85989","datavalue":{"value":{"entity-type":"item","numeric-id":3156301,"id":"Q3156301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$6BE395BD-71F8-4486-98C4-A591F132E5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e742655de3ec0f0e38b7a147117d578bab2a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5443925,"id":"Q5443925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$8B87B929-88F5-44EE-BB38-CD0EB893AC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7a183df4cfa0b6d1e2491eb1391697a6d0915b","datavalue":{"value":{"entity-type":"item","numeric-id":3252697,"id":"Q3252697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$2ADED1D9-B8B7-43CD-91AF-80FA2501A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$995B70CF-398B-435F-AA8D-79A0A8FC9115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c70fc99b566478f7de291b6877fef21b989625","datavalue":{"value":{"entity-type":"item","numeric-id":4631179,"id":"Q4631179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$076DD157-F645-4186-9483-2CDEA1DD4EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fedee4387bd72c28c4564ba8c0f4992a7d9ef85","datavalue":{"value":{"entity-type":"item","numeric-id":3265664,"id":"Q3265664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$EFFAE889-3304-470A-BB6B-6DF1B3202A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013e86d7961b482b10f5be2178d33d5e10aab4d0","datavalue":{"value":{"entity-type":"item","numeric-id":5208122,"id":"Q5208122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778737$359E687D-8420-4BF1-81C9-84C2F2B25DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc0b92cc3a30a437dc1ddb30c751839bcfc9f82","datavalue":{"value":{"entity-type":"item","numeric-id":5149150,"id":"Q5149150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc57efbfb10dc2b44b23b558ec6837363eebc6c1","datavalue":{"value":{"amount":"+0.8536416888237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q778737$AD3B202B-5BCE-4D88-BEA0-9DF8268B73C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d2e17b7b03add44d10953a7b47647cb843943e","datavalue":{"value":{"entity-type":"item","numeric-id":4698608,"id":"Q4698608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f38b51195e8c61345585fe3c619450368a19fce","datavalue":{"value":{"amount":"+0.788578450679779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q778737$90522C7B-8F55-4973-891C-E36FAFE5A839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ecc85f9e93570c8c2520242fcd70a103b2b494","datavalue":{"value":{"entity-type":"item","numeric-id":5436709,"id":"Q5436709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61241ed761396c06052db0287816d299d430b3f2","datavalue":{"value":{"amount":"+0.7852228283882141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q778737$47E02159-F693-4F5D-973C-AF352D5EF4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f4a7580f6a5f70c04e7d1930f5d1e7c2f74efd","datavalue":{"value":{"entity-type":"item","numeric-id":5926253,"id":"Q5926253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2409d92675e7bfa93ad025aa18839a4609076d5","datavalue":{"value":{"amount":"+0.7621235251426697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q778737$1D9B4B08-CCE2-4EC6-B48E-59AA63CE2FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bab0519a4863edd82daf226dbcf07fa72f0817","datavalue":{"value":{"entity-type":"item","numeric-id":1433380,"id":"Q1433380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d7a8d52f8aad93032c24d6c4dc5f816925eef9","datavalue":{"value":{"amount":"+0.7578002214431763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q778737$20C70D5E-141F-451D-9DAF-32B13AD9B23E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal notes on the substitutional analysis of logical consequence","badges":[]}}}}}