{"entities":{"Q867665":{"pageid":869513,"ns":120,"title":"Item:Q867665","lastrevid":65067492,"modified":"2026-04-12T00:06:07Z","type":"item","id":"Q867665","labels":{"en":{"language":"en","value":"Filter-based resolution principle for lattice-valued propositional logic LP\\((X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127737"}},"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":"Q867665$13D05F13-E023-4CAE-8597-2202F858C257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bf6786aa53f02763d1fc48bd519b12650b6dab0","datavalue":{"value":{"text":"Filter-based resolution principle for lattice-valued propositional logic LP\\((X)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q867665$46F51945-4062-44B7-8771-F154CFCA128D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"168aaa22899a6ba4678560412ce72f4bda2d28fa","datavalue":{"value":"1114.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867665$F9B3DFAE-7878-4B60-8661-5169E1CFC519","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bc5253ddd6097eb0e45c3a2fe44af634e4a671","datavalue":{"value":{"entity-type":"item","numeric-id":249024,"id":"Q249024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$88B80F32-9B67-43E0-802C-2ACBB8F15309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d11db11028d69bf60aaa25e280bf2fd9abccabad","datavalue":{"value":{"entity-type":"item","numeric-id":867664,"id":"Q867664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E844DAA0-2BBF-4503-8A5E-4DF43F43E331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$3AFD6BE3-E026-468C-AA2C-9FCB22C83BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd0cd89f7b5d8936454dcb00f389b0956691205","datavalue":{"value":{"entity-type":"item","numeric-id":196867,"id":"Q196867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E6E89DF3-1C4F-49E2-9B9A-9D58806B9094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$F322B356-A5BA-4575-BED2-F9BD5F765685","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"993ff8b8b7dd16bcc5c6f62a063a80dfe3ff528f","datavalue":{"value":{"time":"+2007-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q867665$341903B1-A761-4ED6-B241-F9D403EBFCD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867665$660D39D9-8001-4E47-8C65-06D1E502E025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867665$0213F03B-5BD9-4518-AB22-FF10A209F809","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1da3344ba563b87d6adf77e682e2545136b2699f","datavalue":{"value":"5127737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867665$39957D9F-5290-48B8-83FF-B60CE49B96E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$8857EB6F-B504-470E-8EA3-4FD2BBA1C761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$CAA6B353-A958-46A7-98D7-DA02CE1DECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$B4521BFA-36BB-46F9-B848-75EF1CB5E39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$2FB2F6C1-6683-40A9-BD51-A344430FFB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5808be7bf879751770709baa6cc31c287916b6bb","datavalue":{"value":"simple generalized clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$6AFBF307-9C32-449B-80F5-8B4AA43BFFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb1df543b8f7e8e6b15ea6d5ebee1227f55a725","datavalue":{"value":"complex generalized clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$C7C9C7C3-E51B-4C7F-8C15-84EFDB4A6540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d084cded0446d5ff07f07c8b3369a7d40f965f","datavalue":{"value":"lattice-implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q867665$650AC102-5677-4A7B-9753-04500D455556","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$6ABCEFA6-4277-4100-9354-2F4267FCF201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$AA966094-50F3-4D4F-92DE-C13B729C5C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33919c41a1ae48620fd8e94aafcb1944f42ea3d2","datavalue":{"value":{"entity-type":"item","numeric-id":31443,"id":"Q31443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$3AE40269-885D-4EA1-A9E2-68BEE50BC6A6","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":"Q867665$560A1C00-0165-4039-B7F5-8AB4273D0DC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abecaef9e08499db871bc7e9c7bff91d0cbeffa5","datavalue":{"value":"https://doi.org/10.1016/j.ins.2006.07.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q867665$B007FDD4-43FB-49C3-A252-D896AF7BD50D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7573f87e66ad9c1c98799cf6a3b7b2fb6420674d","datavalue":{"value":"W2005769316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867665$3034451B-35F8-48C9-96A7-3B2F73128806","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b025cc059b6c8ecf0b45330c135cd3a1b40d165c","datavalue":{"value":{"entity-type":"item","numeric-id":5958754,"id":"Q5958754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$2CF6345C-2087-47AD-BBC4-8C751686DD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8867b88cb95824b879b533cfc6616cd2dbf57ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1194246,"id":"Q1194246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$156C5C8D-52C9-4839-A676-3CB2AF20D12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75695a8beeb327509bdf451e6c8d3a3f23213ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$6D8692F1-FEC2-4548-B771-D3A055FFA0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50290b796355453456c3c148f6f49e109a1e4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1380411,"id":"Q1380411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$64747DF2-9EF2-40F0-9E44-A05682443544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf56c015341085a21a09a4684fa7d9da459de70","datavalue":{"value":{"entity-type":"item","numeric-id":5946476,"id":"Q5946476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$519F155E-1C43-4663-988A-368D90229FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$C24FDCBE-2241-4BA8-946E-9AC6D5B423E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4366155d183781470c4665ac1b93ea07de3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1383357,"id":"Q1383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$0AE9B986-E3F1-462E-BD0E-683A9C47C85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381cfb1f26e9643ba90403fd94452f3f50d2991c","datavalue":{"value":{"entity-type":"item","numeric-id":911797,"id":"Q911797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$686AC6A9-80F0-4C61-9959-271A0AE499E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c0583b3ae4e5ead4fabde676f44a42e64e7587","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$C391ABDC-E628-43F9-A51B-92CAF7F575DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f985302c9ef550f04fd61b96dec815119c9e57a8","datavalue":{"value":{"entity-type":"item","numeric-id":1284706,"id":"Q1284706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$6A9FA138-7F80-4D6A-A1C0-42E41B83A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$D770EA58-6538-4ED9-9BF4-467A88510F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb3089e248a330c0018fe594ff27d66658b38e","datavalue":{"value":{"entity-type":"item","numeric-id":1372359,"id":"Q1372359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$F36357E8-8B33-4D24-95F2-A045E97B6673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$90360A54-89CC-4B84-9FC1-4C4F62446611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcfb988ef10885eb0a5a746c562e10876fedf0","datavalue":{"value":{"entity-type":"item","numeric-id":814445,"id":"Q814445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$6CA54B8A-07C6-40E4-8C99-E4618EBE4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$630B1699-1B9A-4B81-8724-44666F3DA4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$AF1D21EC-F23E-4CF7-A910-C1CAF29C7D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae14e5d7ccd9d401edc3ddca1d5fdde08ca7bbfd","datavalue":{"value":{"entity-type":"item","numeric-id":1580665,"id":"Q1580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E91CC487-35F8-47D8-889D-EF069C90DBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$D6E90838-73C6-444C-8BBF-DF0F69280474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$A2B68A93-BD3A-4394-90E0-C9F195EEDE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e9b0ca52d78a2bf44740899fe2b062c7148ed","datavalue":{"value":{"entity-type":"item","numeric-id":1568493,"id":"Q1568493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$B4443AE9-E745-4C5B-855A-E76D79A076E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa69ee26d46e945d5b4a4e2c216125eec983dac","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$19E2B746-CBF3-4D56-9236-C8DC0717B405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$7FC260C3-1514-4D33-9B7C-927B84264708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$1AB02F92-2FCC-4DCA-AE40-7D682DA5D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f302ec958b0d15349e6e6048eb4175e963ace8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1272603,"id":"Q1272603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$78CDDD07-31BA-4C96-A782-4D64123A423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$605A71EA-E7E1-4ECF-9DDA-0DE4C31409F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3caa88058b79599cc58c0a1d5cb3b4529602ee33","datavalue":{"value":{"entity-type":"item","numeric-id":4121876,"id":"Q4121876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E619130E-9055-44DA-96B3-389DFAA28C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E4BAF5C7-4193-4BC5-996F-20A17B39927B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$978821AD-BAC2-4925-B882-88BDB83C0A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642863a66a67abf30b99d85777e1742c8898070a","datavalue":{"value":{"entity-type":"item","numeric-id":3870868,"id":"Q3870868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$07A45A96-2F21-412D-94FF-E2E72AE61A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76cbde9dd05d527c97cc033a7687dee65f2bc83","datavalue":{"value":{"entity-type":"item","numeric-id":3714047,"id":"Q3714047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$42005989-748F-470F-942D-35307A19BCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E1191F4A-4C5C-4845-AD3C-251BA17EEDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2509d14541c84ebf8dbfd03a0fc61fe786ca8c14","datavalue":{"value":{"entity-type":"item","numeric-id":1914165,"id":"Q1914165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$07A4470E-4FA7-449D-AEF1-4D5DE7389A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$8D3E3A0D-772C-4EAA-A05C-BC968A176F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$646A612C-49AE-4DBC-B2ED-1E587C884B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5777ceefdcbff13af8c170a6b9cebc37296c9181","datavalue":{"value":{"entity-type":"item","numeric-id":4647557,"id":"Q4647557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$ED2D1B6A-2706-4BA9-BA6B-60567C12E98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47b5cce3befb4b6dd08a3de34853c35e40e671c","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$EF2CE3AD-3528-4668-9E87-0E04A5ACEE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b6db54ea89d2d92e7b3ac7acefa676a1537b39","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$596A1104-F772-46F0-AE52-E1641891C931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0ef35b0a86ab98c6725f6749f08a9d72feb7c8","datavalue":{"value":{"entity-type":"item","numeric-id":1428680,"id":"Q1428680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$A3E1D618-4805-4C06-ACB7-38C589D156DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06decc5dcc43464904f5d8dde77d048fa3fe49a","datavalue":{"value":{"entity-type":"item","numeric-id":4881605,"id":"Q4881605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$E1FF6DB3-D151-4FEE-8CF5-9DFF40E03EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5229d696d527cfe1359505376127f0108f9f7d11","datavalue":{"value":{"entity-type":"item","numeric-id":4544342,"id":"Q4544342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$77535710-EFC9-409F-980E-6A8E1BF64423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$71ECC87E-D3D4-479D-922E-9C1364B1D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e895cb98611c2871c4cb18a8eb69f9227caa6e0","datavalue":{"value":{"entity-type":"item","numeric-id":2791026,"id":"Q2791026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$9C36C796-A684-493F-9E64-75AA80BA152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aef64f32a1f6169822d7a18205bc079ffd78669","datavalue":{"value":{"entity-type":"item","numeric-id":1306378,"id":"Q1306378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$555243A0-5381-4118-9E1B-08BC1DC132F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b6f231eb024fbb0248b8ea953dad94e2ed45be","datavalue":{"value":{"entity-type":"item","numeric-id":5507984,"id":"Q5507984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$98E9A81F-91E3-4A31-8BFF-CAD85336DD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$F818B1C5-F93A-4271-9D7E-765ED0A723DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bd18dc3ae65742d7298a1be1bec470d4442d82","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$BB67728E-FEC9-4E1B-98DC-7248A9C326B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b245927fbd6e2b02d108cde2ecf121acde76e3","datavalue":{"value":{"entity-type":"item","numeric-id":4311753,"id":"Q4311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$53D0D251-9EFC-45EA-B9CB-FBD74D39FE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42fb6dbc09f2f9c86be2d9e4d941f9d0b45b35e","datavalue":{"value":{"entity-type":"item","numeric-id":4306528,"id":"Q4306528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$DC1DEA86-2BD7-4D26-AE32-DCE223153F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f32a77210cea0f23b1eb311e47f4292cb8322e1","datavalue":{"value":{"entity-type":"item","numeric-id":1818981,"id":"Q1818981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$B89D32C8-0530-4544-9CB0-BF017C38B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec94d6e7c73c3ebf27a984de04a8387726f0d397","datavalue":{"value":{"entity-type":"item","numeric-id":4950599,"id":"Q4950599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$198BB36D-27B4-4B48-BDCA-D33BFB4CB480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbcfa5bac2310d196e20d65117c7532c7c4f815","datavalue":{"value":{"entity-type":"item","numeric-id":4544362,"id":"Q4544362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$C4EE8AFF-A71B-4B7B-971F-69FDA868C33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fec4b0d112e6ad33f9618428f4fd6130854d4","datavalue":{"value":{"entity-type":"item","numeric-id":5946327,"id":"Q5946327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$365F6B1D-4938-4002-A892-023CC19833B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1886fba0cafc1ecedc0fb6bf66a495668dab70cf","datavalue":{"value":{"entity-type":"item","numeric-id":1408064,"id":"Q1408064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$46CD6EB4-DBD3-4A40-9A35-CBEA1B3BD83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dfb537f2cb7b5c00cfa0b1e7cab96ac326c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3703870,"id":"Q3703870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867665$B2A92033-1224-4199-B2B3-4970DF8678AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aab7320750a7b11ab687d9a006fa1bc78981fb0b","datavalue":{"value":"10.1016/J.INS.2006.07.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867665$1A0D4D41-7136-4958-8BB1-5386DD701602","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a81cd3bbed284927d6404bab1190e9cc0efcc8","datavalue":{"value":{"entity-type":"item","numeric-id":5946276,"id":"Q5946276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bdc5b673d9993714d94cae0073091d5de3e3d1","datavalue":{"value":{"amount":"+0.93377703","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":"Q867665$DA48CD27-FD92-4D6C-9ABA-BB57BF211C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6e7534b4c7227d8a47b3ce7e7cc34b1f4bb50f","datavalue":{"value":{"entity-type":"item","numeric-id":5946327,"id":"Q5946327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5053b1b13689ce7ec044b8c8275300f6c8b33e1","datavalue":{"value":{"amount":"+0.9015318","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":"Q867665$C7EA2255-0D87-49AA-938C-F9DFA4DD385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffaee73e9313a2b8366d8c6266d1a97b4369f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3090178,"id":"Q3090178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2a49e4bb948e4f7d15fa6b282f309fc1a79ab4","datavalue":{"value":{"amount":"+0.8925245","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":"Q867665$6755841D-C21A-4BE0-8631-F048361ED501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5f543461214e891033d1a956489ca87abee89b","datavalue":{"value":{"entity-type":"item","numeric-id":2440194,"id":"Q2440194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84021d03790a4fe0833e367ba3bcde301eb9c106","datavalue":{"value":{"amount":"+0.8881642","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":"Q867665$A9D0A14D-9856-4E1B-8FA9-F955A34153F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd13e9e0eb38c399a963c5135558413fb6d628d9","datavalue":{"value":{"entity-type":"item","numeric-id":2779006,"id":"Q2779006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548efc7d05447a49618c36ea35e446e87efb259d","datavalue":{"value":{"amount":"+0.8821088","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":"Q867665$207D8444-2D2B-4F27-A904-2E4A34FD30D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8deb7e5ab33eb5beab47ce1cadf6050eb948913","datavalue":{"value":{"entity-type":"item","numeric-id":3513235,"id":"Q3513235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c484e24ce063a9257f4311303a2f64b7560f9a62","datavalue":{"value":{"amount":"+0.88125443","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":"Q867665$6EE18C34-D3B0-46F7-8207-B78235B69939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde646b768f118274cbd111a7dda631b5873e5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4311753,"id":"Q4311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721c716559bcf1d4ed24ace3a16787b5f20b52fb","datavalue":{"value":{"amount":"+0.87676567","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":"Q867665$89028282-584D-483E-B0F0-FEA5D54FC140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2c3a306870d99cbf97cda82a284e4bbe57b344","datavalue":{"value":{"entity-type":"item","numeric-id":4405711,"id":"Q4405711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040633f3ca81d2a2cc55f5fd96946b67f166404a","datavalue":{"value":{"amount":"+0.8758426","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":"Q867665$C4D88D17-47AE-4828-82DC-A56C767D3288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f639262159824dd993680b88b4269a6ea3e22b","datavalue":{"value":{"entity-type":"item","numeric-id":2392565,"id":"Q2392565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9262e11a0565e71b36c8fa5e5fb18a1c394d96","datavalue":{"value":{"amount":"+0.8755748","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":"Q867665$CE2E6144-A863-4F3E-BF1D-3024EBF1EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a5a37906e6a2829b1f5be1c9bf6191567bb170","datavalue":{"value":{"entity-type":"item","numeric-id":3422618,"id":"Q3422618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbad9f745a29b5d75057444280e474f9e9901406","datavalue":{"value":{"amount":"+0.873837","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":"Q867665$F624F601-5788-414F-B5E1-74DC721A0980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Filter-based resolution principle for lattice-valued propositional logic LP\\((X)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Filter-based_resolution_principle_for_lattice-valued_propositional_logic_LP%5C((X)%5C)"}}}}}