{"entities":{"Q2905643":{"pageid":2916368,"ns":120,"title":"Item:Q2905643","lastrevid":51536597,"modified":"2026-01-18T16:50:35Z","type":"item","id":"Q2905643","labels":{"en":{"language":"en","value":"On \\(\\alpha \\)-satisfiability and its \\(\\alpha \\)-lock resolution in a finite lattice-valued propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6072927"}},"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":"Q2905643$88952A54-38B7-45A7-9A8A-643F990B9055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aa85b1f938b1ccadfa50e9ab8f6052a9f13b4c3","datavalue":{"value":"1257.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905643$4B2751B9-8092-44F2-AE90-472A5D0FF03A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c87e8274686d3493385f7df05f34c58739e4169","datavalue":{"value":{"time":"+2012-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2905643$1D0BAE2D-FB54-4D22-8A9D-F2BFB6A844B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905643$577EC2AB-8033-4CC8-A47F-EEA56F62C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905643$088368C4-1805-40EE-A811-F3122E0E695A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34cc61ee62293895b3ae53e309a7f8438524ee4a","datavalue":{"value":"6072927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905643$DB9D9332-113D-4AE3-977A-1721B092D672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905643$35C63624-1ECE-44DB-979F-50AC322AF393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b888c4e00401e007401da193fd8e99c89482a515","datavalue":{"value":"\\(\\alpha \\)-resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905643$A6EFC202-E163-44DE-8569-19EFEC490782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6247112692280f3514a0f6d062fedee8998d0856","datavalue":{"value":"\\(\\alpha \\)-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905643$68BA0127-BA50-4843-AEEF-4B5FC4EFAB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed2657a3e55f9cd93c211ae6b9b36cfd597371f","datavalue":{"value":"\\(\\alpha \\)-lock resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905643$AA927616-DD3C-4F4E-BE1D-DAD1FE4033DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23fe9861f868e1e9605d73f0b8d1f838f287adff","datavalue":{"value":"finite lattice-valued propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905643$E6DEFB0E-81F2-4FA0-ACD3-B138C100BA0F","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":"Q2905643$377A0E8C-63F8-4750-88C4-C41EFB50CB8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd47ad0b7b688ec460bc787d47601cc2ed299d5e","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2905643$6683CAEB-7F72-42AC-8B96-BE515346C293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4102957c9c4961f0ac6767c130ee1f99bf8ccc1","datavalue":{"value":"W2166100649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905643$2D314BFF-DB02-445C-8A63-2F0A915975E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d178ad60365b35c27e2037b19b11ef56c234498","datavalue":{"value":"10.1093/JIGPAL/JZR007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905643$80A2CA26-B162-43FE-A92B-47DB916798BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905643$BA0D01AF-8B23-455F-B1D7-943FFF41A060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"499449fb3d5716cfaf45a74a02f5daa4758c2999","datavalue":{"value":{"text":"On \\(\\alpha \\)-satisfiability and its \\(\\alpha \\)-lock resolution in a finite lattice-valued propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2905643$B6868145-9372-403C-99F6-3BC3993A37B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640f6c9b6467c65e5adfb3e2db056ad452469f0b","datavalue":{"value":{"entity-type":"item","numeric-id":416299,"id":"Q416299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905643$F8E29606-C422-4146-9A7D-CA982F6BC41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a5677de8d09cf5673a2960a3a4d5abd93c72250","datavalue":{"value":{"entity-type":"item","numeric-id":209287,"id":"Q209287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905643$6DBA4D2A-17E8-4604-AA5F-80E5C2472CA6","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":"Q2905643$4C5B6886-C8EB-40C4-BBA0-90EC8537BFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9d125630da006a7a37854810de008891092e97","datavalue":{"value":{"entity-type":"item","numeric-id":4959945,"id":"Q4959945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905643$6E1D59A6-87C8-4D4F-B13D-ABF590CA27F2","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":"Q2905643$D5BF409A-63B1-47F1-9E47-77227ACED7F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba0a8d1e1594a5a84d5eb3fd922681675e6c349","datavalue":{"value":{"entity-type":"item","numeric-id":1933772,"id":"Q1933772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f428019213003f087b280d39a494aed6dab8e51","datavalue":{"value":{"amount":"+0.887913167476654","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":"Q2905643$CFFE2767-2F20-46F7-9663-D3F453DA04FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00042c233b81b4279dce4622b40467a06d7d3495","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52920911c3587f737d31d1093112c5cc07fee359","datavalue":{"value":{"amount":"+0.8784010410308838","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":"Q2905643$74D072E7-2988-475D-B934-3DC037658AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abd5a959b600c85b40d573dc5ee04ed5794e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":2887678,"id":"Q2887678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59340142332a3801be3e5f30d84aeb7a14f74ed8","datavalue":{"value":{"amount":"+0.8671408891677856","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":"Q2905643$F49F41E2-1B64-4B40-A7F8-75E59B1BFC7D","rank":"normal"},{"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":"a6cedae71c8aadc7a322e3c1102a7d4f6d3838f3","datavalue":{"value":{"amount":"+0.8633019924163818","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":"Q2905643$EFDA8A36-F8E2-462E-9F63-E82754DFABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144e934aa78fef92c3d9cca2124e0c341c526691","datavalue":{"value":{"entity-type":"item","numeric-id":4583766,"id":"Q4583766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43f4d172cb5b4849ec1ed5b4cfbde1bbf4c13a8","datavalue":{"value":{"amount":"+0.8588540554046631","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":"Q2905643$4FFE8A25-6417-4D28-9E51-C93096E522FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2905643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2905643"}}}}}