{"entities":{"Q4629294":{"pageid":6658876,"ns":120,"title":"Item:Q4629294","lastrevid":56879508,"modified":"2026-03-24T10:09:35Z","type":"item","id":"Q4629294","labels":{"en":{"language":"en","value":"A post-style proof of completeness theorem for symmetric relatedness logic S"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7039960"}},"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":"Q4629294$DAD90499-0F5B-48FE-B037-B7B187ABDAB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfacaf47d691735251e0a0d471bfa4c6a1d2e463","datavalue":{"value":{"text":"A Post-style proof of completeness theorem for symmetric relatedness Logic S","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4629294$ECDBFA03-6941-4E76-82E0-414B43715F12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25dd290a45bd6e2af1b173ae405f38c40343b335","datavalue":{"value":"1437.03106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629294$4614BA53-C0F8-4895-9234-9C7F6C203E57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4973c4dc58105c77f6dcb46a378c3d111438730","datavalue":{"value":"10.18778/0138-0680.47.3.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629294$DBE611F6-AEF8-4834-AEF5-73CC1FC8AD08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c609104286a7718cf8529f13396135d60a4f7737","datavalue":{"value":{"entity-type":"item","numeric-id":2070429,"id":"Q2070429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$AD78DBEA-E1AF-49A4-A9CC-A5F3A8971B5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$A75308F7-F83F-4100-9208-F4CA683BB830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d0bfb78353205537b90346e8569ab44f4493089","datavalue":{"value":{"time":"+2019-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4629294$9FD06E96-07E7-4C92-9D22-69810DB219CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629294$B44B28E5-7DAC-4ED4-92BA-AB9B8F636F51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0625c8a85c1cd9a9ae11211f5ae7157cfd36791c","datavalue":{"value":"7039960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629294$1C2CC597-0BE5-4159-B4E7-73C76CD09627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629294$9A424929-2EEF-4D75-87B0-EDC26B88C783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cf14967514a12372f9272a64ebf01f568b73d0","datavalue":{"value":"post-style proof of completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629294$64CFA223-6393-4F98-86CE-3A8DEC37ED98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab7e7a8504a9cf0ee57d2716d946a93d4001be6","datavalue":{"value":"relatedness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629294$9842DEDA-585F-41B4-B396-AE2FD2E29E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f850de95baf1b4b27b71f0a005548ffe5cfcb0","datavalue":{"value":"relating logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629294$F2AF8D26-0704-4904-9580-4853B4137892","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":"Q4629294$F777E1DA-4D5E-440A-A1D9-6A5359EF0CCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"115483c95244fbbe2a46d25729faaa5b87e42a4a","datavalue":{"value":"https://doi.org/10.18778/0138-0680.47.3.05","type":"string"},"datatype":"url"},"type":"statement","id":"Q4629294$169DE2C2-58A7-4EC0-BBA8-3ED10F5B5733","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"827b9672457051895a5829cb8a61ff7cecdf629a","datavalue":{"value":"W2942094858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629294$E5885F1F-3DDD-41A8-A934-7670D0E2649C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f919f8b4d2eb645debd94e27c0809c0d981df70d","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$DA6FAAD4-E39A-478F-A419-71E8E5BC53AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02451c39b41317082e37b7d5c34b9ec2f254c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5169618,"id":"Q5169618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$CD00D414-13DD-43C0-A4CE-90D7C7D7A476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c51587ab9719d15e1c33641ed4925ca6bcf3ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4012971,"id":"Q4012971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$DBB75E20-0C36-45FD-9489-58B494319389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ecb12a293bad16c05851344d9324b8d3ef7e62","datavalue":{"value":{"entity-type":"item","numeric-id":3041162,"id":"Q3041162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$E2E0A8D9-3678-44DE-8DF6-DDF65EA6054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b5dec4318dca3e66a0b95e2bb5c23f92b09bd","datavalue":{"value":{"entity-type":"item","numeric-id":3229401,"id":"Q3229401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$BC73074B-C4CB-45E6-9477-28CB9911E24E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"249a4eeceb7d579a4be9c47bb5a693cddf5a8f09","datavalue":{"value":"Q128003999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629294$76F43315-83D6-428E-90A7-8A4ADDF3CB3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5956d4959ec01f587cf548f88ad4eb559d86c82c","datavalue":{"value":{"entity-type":"item","numeric-id":4383725,"id":"Q4383725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36425bfcb7c774defd52f2a91733353ed2a5f5dc","datavalue":{"value":{"amount":"+0.868553102016449","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":"Q4629294$CDA13CDA-107E-480F-93F9-C015AF31143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a857c16da7c42e68dcbf0a2f71b3d629ecbcec","datavalue":{"value":{"entity-type":"item","numeric-id":4865379,"id":"Q4865379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399b39891e52927cc40edff2aea4f865a2f2d414","datavalue":{"value":{"amount":"+0.8676875829696655","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":"Q4629294$6883FB6F-A785-42C2-83C6-E1E0F0636D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2eaf757fa11f3719a49a2c330dc23275ec2307","datavalue":{"value":{"entity-type":"item","numeric-id":3795657,"id":"Q3795657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1f714972d6afd8d745b18c722421a74733f969","datavalue":{"value":{"amount":"+0.7809737920761108","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":"Q4629294$C46F2D93-1792-405B-A204-456010CCADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b7d8ebea3b9f959b55c8385ac0b67901ec481a","datavalue":{"value":{"entity-type":"item","numeric-id":3755432,"id":"Q3755432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f114f3e333130a16caa5fc2d489d9242031f3f07","datavalue":{"value":{"amount":"+0.7400625348091125","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":"Q4629294$8CA5FE69-372A-46F6-A1EA-F8F236D99095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194297a085addffafec6c497af587932adcea765","datavalue":{"value":{"entity-type":"item","numeric-id":1173782,"id":"Q1173782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c9bd07328813b16c5d0925826d3c765c841d76","datavalue":{"value":{"amount":"+0.7285696268081665","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":"Q4629294$83E95BA3-7217-4A78-828C-E7E860407716","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629294$1B963B7C-8DD7-4194-9E76-57F65C41CAE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4629294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4629294"}}}}}