{"entities":{"Q1154812":{"pageid":1165561,"ns":120,"title":"Item:Q1154812","lastrevid":69754005,"modified":"2026-04-13T09:09:48Z","type":"item","id":"Q1154812","labels":{"en":{"language":"en","value":"On the recognition of the tautological nature of propositional formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3729471"}},"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":"Q1154812$72B09876-9A4C-455E-BE2C-F13597864058","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca3d580d344c8a9f0ec7d0c647a63a2f2b4f8abf","datavalue":{"value":{"text":"On the recognition of the tautological nature of propositional formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1154812$2CD412A4-7556-498F-963F-C054F2D97E75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0993e6b4ce63c07629fbc1ba9134d55417d4aee","datavalue":{"value":"0465.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154812$0A910880-CCDA-4769-B267-309AAF30FD96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4f064493ebd0c4f08ad3b7ec50360ae9ed98978","datavalue":{"value":"10.1007/BF01693987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154812$8DD6D5EB-96B9-4EC9-A14C-7E55DF4F6CF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b0d13b691b4d71e4626e664e00f82c5aad46871","datavalue":{"value":{"entity-type":"item","numeric-id":1154811,"id":"Q1154811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154812$50644149-F5C2-4418-9067-1F5A3E220003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154812$61496F79-1E1C-4D01-A44D-B75C86A81D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1154812$418593ED-6230-4212-B8B7-E0904E79ACF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154812$4548A453-E295-48EE-8282-986CA778BBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154812$7693BA96-BBAC-4F86-91F4-05DB85CBA6D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12ce58e393050cf7c12cc25a8f2a483e747c91fc","datavalue":{"value":"3729471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154812$F3835B8D-D9DF-4A62-B826-6F689818D1FA","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":"Q1154812$E94CBBB2-3C4A-49D0-BCF8-D15EC2D3DF85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceee8a5fb32e6eb7443356542ae558c36b13a21","datavalue":{"value":{"entity-type":"item","numeric-id":5672214,"id":"Q5672214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154812$59843309-4821-46FA-9785-9F81BD91072E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea652e03450a8a42f5e0fb2ee85ce29c87339ff","datavalue":{"value":{"entity-type":"item","numeric-id":4128519,"id":"Q4128519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154812$CD3ABC00-34DD-4AE4-B65F-24B05692082D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610c4ce18d93717aed8fea0917044e5effb66f85","datavalue":{"value":{"entity-type":"item","numeric-id":3962956,"id":"Q3962956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154812$855FEEF1-7A37-4B66-AC08-FFAE3B002D3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f23ef999ae5641f7468474f9d99f57e02531f78","datavalue":{"value":"https://doi.org/10.1007/bf01693987","type":"string"},"datatype":"url"},"type":"statement","id":"Q1154812$C02BE9C5-4814-4855-AC40-D98DD8095DEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba2abb9a65577634d3c68d4a71f84976135aac87","datavalue":{"value":"W1970926634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154812$92F2115C-C927-4D5C-9A2F-E78BB1FD25E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the recognition of the tautological nature of propositional formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_recognition_of_the_tautological_nature_of_propositional_formulas"}}}}}