{"entities":{"Q4583766":{"pageid":6613351,"ns":120,"title":"Item:Q4583766","lastrevid":82009478,"modified":"2026-05-06T19:53:00Z","type":"item","id":"Q4583766","labels":{"en":{"language":"en","value":"\\(\\alpha\\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \\(LP(X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930455"}},"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":"Q4583766$3A1F3C4F-C36E-4DDF-B7CF-327296816F4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed88c9bd4907e85a93cb14a8d8995a5ce4df0f7d","datavalue":{"value":"1394.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583766$15CDB8E3-53EB-483D-A763-09EF56E1181A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"959842b9c4f264475e948ca04d019b974df09ba4","datavalue":{"value":{"entity-type":"item","numeric-id":2198230,"id":"Q2198230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583766$DF845544-14D5-41F5-9DFF-77CB87073D71","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":"Q4583766$EF5B376E-4FA2-4864-999F-C5A47501CC9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583766$80A86F3E-D2CC-4522-9497-7B3A1C56D0F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"668fd1f717beedc06b217d679cf24814c3b29dc3","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-22-number-4-6-2014/mvlsc-22-4-6-p-581-598/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583766$9B73B2D1-9F78-451F-8906-08AFCFCB9DB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583766$80499852-2E6B-41E2-88DA-7A91C61D046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583766$330768E0-BD3C-4620-9976-036AC10BB971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583766$D4C8368A-CED7-4A25-9FC3-DA23E04BC8CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e602ec2524e8875929053db7fac30107728019f","datavalue":{"value":"6930455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583766$978F7787-1508-42E1-973D-2DF6E25EA432","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e14cff6704b2f881fcf3f07220514d66ada3e8","datavalue":{"value":"\\(\\alpha\\)-group quasi-lock semantic resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583766$D352FF60-C96F-4358-A462-653F4D80E618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6409820e64e12cba64285014060bc6a658362925","datavalue":{"value":"\\(\\alpha\\)-group resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583766$19FA195F-37B8-4086-A29B-404B8D59FE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3f4fcf7f0ce46b6f917b92a85b05010f977817","datavalue":{"value":"resolution-based automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583766$EA7C3590-20A2-44A5-9516-49FBA750A943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583766$F64131E5-C5E3-41BB-A9ED-764340834890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583766$92DE0CA1-D417-409C-AE83-433CB7BD8685","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":"Q4583766$14109FD4-4ECB-4CFB-A9D0-40104ED93E23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511abf87addaa7692f957e5a410aba8b21a31b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2905643,"id":"Q2905643"},"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":"Q4583766$CD34D7E5-B5B4-4A2A-9278-832186378E6F","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":"fe7a6cdcab9d32e321fe1d0e36e8f576d44db52a","datavalue":{"value":{"amount":"+0.8400533199310303","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":"Q4583766$A0E283D8-FF93-4AAC-9743-FEADB02C80F9","rank":"normal"},{"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":"2633b938cf67d16358bbe9e032e29609946f0f1c","datavalue":{"value":{"amount":"+0.8371212482452393","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":"Q4583766$06E8860C-714F-4C6E-939A-163FDDE34987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636f7166a95fdcdab45f12281531548977c0f87b","datavalue":{"value":{"entity-type":"item","numeric-id":4782945,"id":"Q4782945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090146453f497800d86d3cb54a9f40595bda0b63","datavalue":{"value":{"amount":"+0.8300961256027222","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":"Q4583766$6C2A5D46-1540-424C-9E16-39E8C6199894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c5390b116544bf1fda0489be16525f82e589","datavalue":{"value":{"entity-type":"item","numeric-id":2988491,"id":"Q2988491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce74b6d01b042f2cfd2e924546ad0e3d7bed600","datavalue":{"value":{"amount":"+0.8289565443992615","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":"Q4583766$F491C577-5429-475A-AAEA-ACBF8EEC01C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\alpha\\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \\(LP(X)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Calpha%5C)-group_quasi-lock_semantic_resolution_method_based_on_lattice-valued_propositional_logic_%5C(LP(X)%5C)"}}}}}