{"entities":{"Q6913432":{"pageid":20982766,"ns":120,"title":"Item:Q6913432","lastrevid":84154988,"modified":"2026-05-12T10:39:57Z","type":"item","id":"Q6913432","labels":{"en":{"language":"en","value":"Models for official entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8108641"}},"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":"Q6913432$28904050-00D6-4271-A462-29BA654B103A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff9d801a164724dba99f1a9be118ad397e5cc2a","datavalue":{"value":{"text":"Models for official entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6913432$24317346-9A3E-4967-83DE-D0B7961F4F26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88cdecca27341c03e1e92d1e477c7fb572e36549","datavalue":{"value":"10.1017/S1755020325100762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913432$9071C6A1-6D3A-43D9-8BD2-F40F01677D5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41cd12ea5056899ba4b8e0dcb146bf124736e676","datavalue":{"value":{"entity-type":"item","numeric-id":300831,"id":"Q300831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$28EBEA2B-8911-421F-B5B6-316CE09F6B27","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":"Q6913432$102B5986-BEA6-48B0-A89A-F1294689AD10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e99de2160b16674efb8c42c504ced9726f75262","datavalue":{"value":{"time":"+2025-10-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":"Q6913432$558EAAA5-E95C-4508-BD83-09E88B5939C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913432$0D36085E-E8EF-4164-97C9-AC599D82425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913432$130C02A9-A16E-4BFA-94F4-7D844C8DF323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913432$FF5CC3F8-07DC-4FDD-81BB-93D1D44885B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0be413eb48f4ee4c108bf1630523cc1dca1cd96b","datavalue":{"value":"8108641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913432$2B9F1789-F906-4C63-8243-3F3FD50DDEF6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$2CD87AEA-79F3-4AD7-BFAB-67DC75C167F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"814bfd184ae5497952e6d5b81802dafea765434c","datavalue":{"value":"\\textbf{E}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913432$743E24C4-AE97-42BC-834C-14C1FC2E0792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de57c46fb6cfcb42a2f145f8d96ae682fdfff345","datavalue":{"value":"frame semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913432$BF230B43-9425-4FBD-A84B-6070E608F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913432$F4253ABF-A67A-40F9-9C3C-6C3C71506678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faec985e100919930db49bed06e8219e562b1076","datavalue":{"value":"propositional constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913432$E3A1B3AC-3584-4C66-9944-74F9714F997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913432$42FAF53E-3223-4F57-BD01-0793A658A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913432$3F13E9AD-C63F-4E9E-AAB4-255E64C84715","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":"Q6913432$2482CFAE-8F63-4FF2-8E5E-046013D32EEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$A9D3390F-F588-492A-8D4D-BDFCFA6C3D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$EECC6A56-D320-4549-8CA5-F74D3C82C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786a6706d1a4aa1960218a83548e9869c3be6e26","datavalue":{"value":{"entity-type":"item","numeric-id":392272,"id":"Q392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$7BDBE03C-9497-4BE1-888F-D5878D4F9CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d044d1bf9883c8ed65ee165ca85c7a229d407a59","datavalue":{"value":{"entity-type":"item","numeric-id":5099994,"id":"Q5099994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$67824EA5-E57F-4973-947A-A4FB99F3968D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3170cd340d94f57b9bc97380243d6bfdd3148dc","datavalue":{"value":{"entity-type":"item","numeric-id":2295602,"id":"Q2295602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$D2E9BD97-7951-437E-9720-8B81C99A0B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d034f066affca5b8bf5502dad9d320b3f5229f51","datavalue":{"value":{"entity-type":"item","numeric-id":3250590,"id":"Q3250590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$071BC8CE-6815-4557-A402-65BFD251918E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692508733eaeda3af97f8c385f55877fc2047519","datavalue":{"value":{"entity-type":"item","numeric-id":6911826,"id":"Q6911826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$F1CBA309-731E-45EB-A2A6-38BD13A10C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6585ae6c8998260705d01ce0c05f9deef601ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$1C01CA0E-056D-4C02-BEFB-0CD60E4FA5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2723be41a3130086c62a67c781fb6caf24e26d78","datavalue":{"value":{"entity-type":"item","numeric-id":3543573,"id":"Q3543573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$5DE8E906-34D8-43E8-8CC7-13F2E91406C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0563c05b5859a91132446688fc0cdecafd24bf","datavalue":{"value":{"entity-type":"item","numeric-id":1139580,"id":"Q1139580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$287AB36E-4A61-41B5-ADEC-26CF69A4837B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$DF9E9991-7E03-45E9-97F9-836948D085D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$D362BC3D-BFC0-4CD8-8EF8-4869AB3D5826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19164a63b2d13c3c442a6a8f1b0a269e75fd5b36","datavalue":{"value":{"entity-type":"item","numeric-id":3305672,"id":"Q3305672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$775D36D4-A3EA-4440-A7BC-98B6E86F941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225b2325e75dc9afb54fb7d04d722aa267fb578c","datavalue":{"value":{"entity-type":"item","numeric-id":6489059,"id":"Q6489059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$1E7D04FA-B1B1-4508-96E6-51019915740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f557baae1351626e970c72beb8b28473e13d11d8","datavalue":{"value":{"entity-type":"item","numeric-id":2549688,"id":"Q2549688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$67CA4E8B-96E5-4A14-8C8C-2BD78E70D29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98b66198333994f88cbe28cca7dad6a02e4f85","datavalue":{"value":{"entity-type":"item","numeric-id":6181604,"id":"Q6181604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$C216AE45-EBCF-42A0-A4F1-66DD1A1C205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ef394e28aa1bd896ff1cf6888aeb4d5c134767","datavalue":{"value":{"entity-type":"item","numeric-id":692184,"id":"Q692184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$4ACE47B5-6BCF-4B93-9B63-D5806A568091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f39f9d4819c20ed4555dca8c254868008b338d","datavalue":{"value":{"entity-type":"item","numeric-id":5181343,"id":"Q5181343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$6E889068-5059-4146-ABAB-7C235450F85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8f16238bb8e19f24495c63424664d3c7ef8133","datavalue":{"value":{"entity-type":"item","numeric-id":4795603,"id":"Q4795603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$BCFAA43C-4772-43C7-99B6-C6E09F01E74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f1dc701e4c8726a2c4fbb066b99680d9f7fb96","datavalue":{"value":{"entity-type":"item","numeric-id":6147138,"id":"Q6147138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$62F9FA33-5855-459D-9DC5-FE5CB224CAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7718e7db02db24298058c351b27c36bc809ecb2","datavalue":{"value":{"entity-type":"item","numeric-id":6963314,"id":"Q6963314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$30C1485A-04F1-4587-91EA-64015CC62981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf4149438adae9b9b97bbe70b16c32922965e2f","datavalue":{"value":{"entity-type":"item","numeric-id":7012349,"id":"Q7012349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$1C68BB50-FE6D-49AF-929A-05F829E9647E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffcab132f661755fd806a556b8ba1cc7bad6eccd","datavalue":{"value":{"entity-type":"item","numeric-id":2909754,"id":"Q2909754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$B4D844D8-DC45-45F0-BD60-3FF069CA7BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8c81ff62c2e545ddf7d5a2887405cf334d4a40","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$85710D9D-F2C4-4201-A730-7E45CD26EE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79d491ac7bcf8dbf737ca5a36b6904ebf92992c","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$F529C17B-F837-4A4A-B8E1-EAEEBD5C01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a82ddfb43d0de584f6a94aafd11601d9803de0b","datavalue":{"value":{"entity-type":"item","numeric-id":3466597,"id":"Q3466597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$3B844D7D-2FF8-4402-B7B4-61B4BA843F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf7f78c31f53dc43160af181bcdee008cee1d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5275735,"id":"Q5275735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$4084A356-6C22-4395-9A66-66B706061ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c5d987060b4bf24dd81c8ab3a4b6e644b081d","datavalue":{"value":{"entity-type":"item","numeric-id":1064316,"id":"Q1064316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$8679BE03-24D2-4C5E-9D53-9FCE1D75C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4c7d9189ff7a0cdc4dbfce73e1c614ef18d0e7","datavalue":{"value":{"entity-type":"item","numeric-id":2735832,"id":"Q2735832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$E14D0A17-322D-45B5-BE8C-E1EF7D9F3431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a6f65e4bee7e7d1b0e831b32a694fccec79f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5100011,"id":"Q5100011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$8CFFA165-7D30-41D4-92EE-C1252AA8B1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc96c801f64710aefef8ed6f685e594960af6dec","datavalue":{"value":{"entity-type":"item","numeric-id":4912997,"id":"Q4912997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913432$AB1DF60E-5FCD-4F94-8B74-DCED08DE2106","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models for official entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_for_official_entailment"}}}}}