{"entities":{"Q6041341":{"pageid":13175442,"ns":120,"title":"Item:Q6041341","lastrevid":39822808,"modified":"2025-01-27T17:55:06Z","type":"item","id":"Q6041341","labels":{"en":{"language":"en","value":"A CORRECTNESS PROOF FOR AL-BARAK\u0100T\u2019S LOGICAL DIAGRAMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689493"}},"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":"Q6041341$B9B834ED-1E43-45CE-9B4C-0108FB35F109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda7f96abe9abc4aa8666b445ac00d0f723cbeb2","datavalue":{"value":{"text":"A CORRECTNESS PROOF FOR AL-BARAK\u0100T\u2019S LOGICAL DIAGRAMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041341$08DE15DD-B99B-43CD-8DC4-CF9C625AB713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"720b50e7bbc525c17d2b592329de20ef5eba942a","datavalue":{"value":"1519.01010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041341$82E146E4-7ADC-49BF-8261-8170EB049B39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$B9C89A53-4562-4AA4-969E-BA24BAA9B739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$8A10BAD9-3E0C-4B94-B4F3-A317D8DB4F7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041341$0AB5BA2F-7DD0-4E8B-9A09-4B16BF88AA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8284164a1e7f35e5df7a37db4dab808a8ec438b6","datavalue":{"value":"01A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041341$DB6D4E9B-6AF7-457C-B8A5-40065CB48599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041341$022E5A6A-AE79-4615-909A-73761B79CCE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e21ed31feddd64c65ffbee5dbbf7a40adf543d5d","datavalue":{"value":"7689493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041341$AE7DB951-7092-4E45-A3FC-856DE697443C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02c4362631c0126166851ee024de088472adc94","datavalue":{"value":"syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041341$EF5586F8-3D2E-48AF-8D87-16A4914C80C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c1350a256e024d22e764a1eac25101138916e3","datavalue":{"value":"logical diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041341$91E6D6EE-1F52-4B00-8325-19A3BE523A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0fd3124d826c4ea4c95923e1c34a81d637052a0","datavalue":{"value":"decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041341$4CF92B07-390D-432E-B186-0A2FBE77903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75bbfd74cd0f532e43385390112195b7aa71fcb","datavalue":{"value":"model-theoretic consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041341$9612BEB3-43F5-4122-9255-862E35BB8A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041341$ACB17CC0-F865-4D58-867E-575AA0503820","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":"Q6041341$DE097B0C-E4B4-4C71-8065-E211E48D28EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2809d4558e76a962403981687f96aed0c8e62a3a","datavalue":{"value":"https://doi.org/10.1017/s1755020321000332","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041341$549F42C3-3211-4748-87DA-E5AEE9261581","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0697818f25d4feabefe7567abd4e926533b40b76","datavalue":{"value":"W4205606075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041341$293E7ADC-52FE-4673-BEBB-1FC69F61835B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$4E29DE1D-496F-4170-8F9D-366BF945C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb2ae2c705cb1a4cc6b8ad4e52b455e4bc4fe59","datavalue":{"value":{"entity-type":"item","numeric-id":5233534,"id":"Q5233534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$ACD39FCD-D15E-448C-8EA4-20F8C9899FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd60b196debb740f1cc468468f86d5e538ca984","datavalue":{"value":{"entity-type":"item","numeric-id":2560822,"id":"Q2560822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$8DA192A0-9AD6-485F-ABB4-65951FB9814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d2d557651ad850851266206be3523ba9013543","datavalue":{"value":{"entity-type":"item","numeric-id":2939744,"id":"Q2939744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$71336491-E0BE-4F97-A297-59EF33460495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10344cd37b9c249f8dc809e5c73d77254e3ce9c8","datavalue":{"value":{"entity-type":"item","numeric-id":1653548,"id":"Q1653548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$20537213-9054-458B-9CF8-52A76A58F74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85026b4dbae77eeb422443f2e835623425fb3885","datavalue":{"value":{"entity-type":"item","numeric-id":5141781,"id":"Q5141781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$9A859CE6-D835-4F42-BC32-3FCEE6C4D937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7734e3a37f8f386921dd700b2c8945288a828598","datavalue":{"value":{"entity-type":"item","numeric-id":2560218,"id":"Q2560218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$29FABB63-47C0-4197-B982-D6142509A96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b19d14db6e54f790c03f7d25874d0174af5faf","datavalue":{"value":{"entity-type":"item","numeric-id":4452545,"id":"Q4452545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041341$3FF8C7D9-344C-4536-9D7A-8105DB14262F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e746b032b988e29cc11cc59e897c4dfe5b6f8ef4","datavalue":{"value":"10.1017/S1755020321000332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041341$F792EB49-8CEE-48E9-83FA-20D59145AB53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54850283fcc79c2bc38dde069f4a96c7913de518","datavalue":{"value":{"entity-type":"item","numeric-id":1653548,"id":"Q1653548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ac7db761d96c3395f311fb6e3a75308e7e3f43","datavalue":{"value":{"amount":"+0.9105368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$E4C3A707-D021-458B-9215-ACA6AD856B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ccc97aa584e5d069443e03de09256523d8b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3476759,"id":"Q3476759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6bd477ef5e0e0cf15c035840c5439412fc961a","datavalue":{"value":{"amount":"+0.7557483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$3F314C32-02AE-4200-8819-20B389362014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426e70308dd0a97eefd10925c6c673ea44a9c35a","datavalue":{"value":{"entity-type":"item","numeric-id":5216948,"id":"Q5216948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41aa07ab7a49d0335ddaf831f6851586eda9d68","datavalue":{"value":{"amount":"+0.74561304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$3C10AAFC-E5F9-4D5D-A73C-CDF220D814E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cf9165a842c7c75759f324cc717db05ab2b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5914543,"id":"Q5914543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e6159d15ead99d417abb343b83070c292d9ef7","datavalue":{"value":{"amount":"+0.7411985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$9F052D7D-2B4C-46CC-8431-0CE5B68646A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693a04600b408d06ec659397a7c212805fef50ef","datavalue":{"value":{"entity-type":"item","numeric-id":4791745,"id":"Q4791745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6beabe48d3a626c2134179fe5e9c07f205357fc8","datavalue":{"value":{"amount":"+0.73751956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$D7A4A4B2-139E-46D7-B266-F5B054D0BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619fddcaf07d353493992e404323adb921d74cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4870007,"id":"Q4870007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38453d724e5a2e3994864e93498db15ff9918f3","datavalue":{"value":{"amount":"+0.73609364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$83C5FB91-088E-4BDB-A3B9-9788B033D454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced0e39e0a670bd1bfd4996349327102f590fc7e","datavalue":{"value":{"entity-type":"item","numeric-id":5393643,"id":"Q5393643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718d101e96f090d63b495ff377020e4b7f1fa84c","datavalue":{"value":{"amount":"+0.73026323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$E783A7AF-75FB-40DD-9471-C1EA39F3DE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a974cc298cce60c753457132a4a80cbdd586a363","datavalue":{"value":{"entity-type":"item","numeric-id":3586011,"id":"Q3586011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2361ceebd248ee6bdf91aa4fbd970035b77311","datavalue":{"value":{"amount":"+0.726711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$98D3611D-7708-46D0-8694-33ED3253E56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2840792a4e74fa2966d0db9b05a38f4bcf54bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2717234,"id":"Q2717234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c5a7989e4accc494e74e97eebad16f91eff048","datavalue":{"value":{"amount":"+0.72582054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$1D2928D5-5781-4D4F-9A94-02467D4677B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec94c5581e4a1e554c2b97582fb11462415009","datavalue":{"value":{"entity-type":"item","numeric-id":5714074,"id":"Q5714074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db50e2d4a9ebd6c0d4b9889616284245f5192203","datavalue":{"value":{"amount":"+0.7228213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041341$93115792-03D6-40C5-8356-8C18D231F9CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041341"}}}}}