{"entities":{"Q4323834":{"pageid":6353435,"ns":120,"title":"Item:Q4323834","lastrevid":41616719,"modified":"2025-05-06T10:12:10Z","type":"item","id":"Q4323834","labels":{"en":{"language":"en","value":"Tarskian Structured Consequence Relations and Functional Completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724873"}},"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":"Q4323834$C60E5567-BC0B-4A75-9344-22E9BEEFF7E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b2ddef73759b05c03eff400a03035055e53a38e","datavalue":{"value":{"text":"Tarskian Structured Consequence Relations and Functional Completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323834$7FE48EF3-3197-48F2-A866-30E8C1323975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85ea86056e5f4aef27f5c827f6f69bdb8ae808ea","datavalue":{"value":"0816.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$EF5A6289-7FAA-4A95-90CA-FCFFC7DC43E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323834$E29B119C-F641-4B1A-B524-F4018E966287","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323834$DD22E849-9390-48EF-BEDA-A760BC594DE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e022d0e2e29313a1f42639a485714f8477b23d","datavalue":{"value":{"time":"+1995-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":"Q4323834$ADBAD566-7335-4C74-B573-7FD884CE99F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$D9D991E7-0A1B-444E-AF9C-1D544127F05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$2A78C949-2849-4A84-929D-D8AD5AE7F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$7D141472-FE8A-4007-BFEB-3134C91AB826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$3C88877B-3932-4A4C-B4ED-B5C78FD57F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$7AB815D4-727B-4A9C-A79F-8E64465274AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28996884f71f042b45334a42e46f19fef4da338c","datavalue":{"value":"724873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$EF251592-8687-450E-9FF5-C29451B76A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$066E4FDA-1F41-480C-AEF1-35D0DAB0DF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$43F367D0-7BD5-478C-AFF4-4CA5843C695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927264676ff5b05149cbf3291821764fcd9a6c00","datavalue":{"value":"propositional logics associated with a Tarski-type structured consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$73DC6770-F2DF-4DA4-B140-9F3E39AF7707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564ae5afc4446d3f65296ed161b7f3e7e6e43ad6","datavalue":{"value":"structured database","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$7F072442-CB4A-42CF-B9D7-49DEE24DB885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51119e6b17b70ca3a60796d4fb5a481fafa4064e","datavalue":{"value":"positive propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$C204ECAD-DEB0-4907-A707-74B6AFCA64A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0b42b33fff4797246744656a659ea70c9f9eea","datavalue":{"value":"contraction mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$ABD6B8AE-5CF1-4114-A282-06971AE6CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9faeb6c4a60de202d10945121fee4dc58c32f2bd","datavalue":{"value":"constructive propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$C24B44CE-DDFF-44A7-95DB-95D297BCBC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323834$F9AE104D-2C06-4EEC-AE5B-4B82573CB9B2","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":"Q4323834$54EFC487-CC87-4DAF-8DD0-0AE43059F34F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fde4eefc804f40fa4f8b3b7aa73055d0becf51d","datavalue":{"value":"https://doi.org/10.1002/malq.19950410108","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323834$0C80D5FD-8D67-48AC-8A65-BDB0E07A8167","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c4b7881b9aa286e52b42ae9bc998f50711bb8d6","datavalue":{"value":"W4232450670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$5C837693-8A8E-450A-BAE6-3CEDC6592644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c4d882a5ae85ba393857bfe41da0e459b04a445","datavalue":{"value":"10.1002/MALQ.19950410108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323834$BE588978-236D-4258-BE1A-76CD0C10B08F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb720d0aacec9201b3dfb05af7488b238e2be6","datavalue":{"value":{"entity-type":"item","numeric-id":295911,"id":"Q295911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f7d8fb8e6ae120fd159b69194f689d557e465e","datavalue":{"value":{"amount":"+0.8921267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$064D3CC7-0158-440C-B44E-347E63C1AE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fa247cbfee9b7240be9eacf8f870f1f7cb4c86","datavalue":{"value":{"entity-type":"item","numeric-id":4229946,"id":"Q4229946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49b49cbf0d2de0056851e6ffc24e09ea9e69283","datavalue":{"value":{"amount":"+0.8875112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$AE2FC67A-4B81-4B43-B449-1044565C0424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2354f69dd4b1c3e32c2cd6db8cddc4b966505253","datavalue":{"value":{"entity-type":"item","numeric-id":4940717,"id":"Q4940717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49b49cbf0d2de0056851e6ffc24e09ea9e69283","datavalue":{"value":{"amount":"+0.8875112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$AB70A397-1DA4-4616-A15F-76C56AF56C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b30a5baf48d471ed8755b197249ff9de63c14aa","datavalue":{"value":{"entity-type":"item","numeric-id":3567763,"id":"Q3567763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438dd9919e3fad8bbb91df606944129bbf8ae66d","datavalue":{"value":{"amount":"+0.8833924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$A8E1A566-F0B2-4DDD-908C-9D6B839071E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d93b7d63bc0dc5aed2ca5dc003c1117f81077c3","datavalue":{"value":{"entity-type":"item","numeric-id":334998,"id":"Q334998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9342c23223d139a7c0b17d1627adc9f5256540e8","datavalue":{"value":{"amount":"+0.88336766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$C892B770-7F8B-4F13-B215-537E2C722A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b263ab830445b64d4bc4cbe4da53c7c14f29e66a","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cadf6aad5f0196e6ebebd91f31ae1f33d19ddc","datavalue":{"value":{"amount":"+0.88332254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$68A9716B-D085-45B3-98C3-49AD6E8EFB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9124ab0c0ef67b95ab8ab3037041ca69d44b4","datavalue":{"value":{"entity-type":"item","numeric-id":1318282,"id":"Q1318282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a886b7e2d55fa492aed8b4bf74430b241c0e48","datavalue":{"value":{"amount":"+0.8781894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$580320F8-B4FC-468F-BA1F-576D7729BE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360642080d7e7fd34fe5050d4a75ff664c782194","datavalue":{"value":{"entity-type":"item","numeric-id":1322439,"id":"Q1322439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf5e882165eb978f2a4ba9f508a50a3f8046ee7","datavalue":{"value":{"amount":"+0.87552214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$32893055-5BF2-4CCB-83A6-230AA212A308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b675de94614d42de3721ca8b178a73fd06c537","datavalue":{"value":{"entity-type":"item","numeric-id":2915704,"id":"Q2915704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412055111bf2d54cf8ff4964d819a46175904f61","datavalue":{"value":{"amount":"+0.87185544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$6FF5FE95-06C8-4A67-9945-BAA0A18D1EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cedb9f967bb71f24400506412b28ed395221ce1","datavalue":{"value":{"entity-type":"item","numeric-id":4698609,"id":"Q4698609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dfeb958b0643f5bce70105ec30ac77ee06c60a","datavalue":{"value":{"amount":"+0.87157243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323834$BE4BC20C-50A9-4056-85A8-26E792176528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4323834"}}}}}