{"entities":{"Q2550724":{"pageid":2561467,"ns":120,"title":"Item:Q2550724","lastrevid":73791885,"modified":"2026-04-14T17:16:28Z","type":"item","id":"Q2550724","labels":{"en":{"language":"en","value":"A strong completeness theorem for 3-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3366897"}},"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":"Q2550724$B63C06B0-ADD2-458E-9932-3A19D52FD9DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f232354b87c7434cc8109cbda73e31d18519c05","datavalue":{"value":{"text":"A strong completeness theorem for 3-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2550724$D146D6E0-6FE8-4F44-A457-5A9D2B324A0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08042bfca4aa9c53b2c9d4a2d8e9847d00ddc8cf","datavalue":{"value":"0232.02014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550724$62FA8AF6-23AD-448B-AD22-11D8393E09F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550724$2A8BD0E1-620A-4FAF-BCDE-8E4BAFADBA54","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":"Q2550724$7391D960-C6F8-4437-B90D-EE36F9030E4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q2550724$5982E8B8-0BC1-4644-927E-B09ED53067EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550724$9EA5BD19-0E8F-4924-A582-A7D1589086FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550724$4F16D125-A3BF-42FD-BED6-FF4F49A3D43B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3694781a3574a042a86ed8c68fd91163f296fec","datavalue":{"value":"3366897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550724$1510E43E-CFB0-4031-825D-7B17083ED8EC","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":"Q2550724$96FA0542-7ECB-4E74-8F14-5FB6B737DCE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e08f38fb8db731925e7ae5b8c1ad924be6f57f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891310","type":"string"},"datatype":"url"},"type":"statement","id":"Q2550724$742E3BC0-DAEB-4747-BEB2-9B7CD43A0AE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"819e0f6514667ad1ea2b79f8a00a0c879264a7f5","datavalue":{"value":"W4214714589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550724$F5C68AAD-5C86-4B76-BA43-B212B9F6D1EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bae2fb35fddae0b2c24f6818be223ab394cccf1e","datavalue":{"value":"10.1305/NDJFL/1093891310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550724$CD83454F-B90B-411B-AF8F-0F3947979EAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A strong completeness theorem for 3-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_strong_completeness_theorem_for_3-valued_logic"}}}}}