{"entities":{"Q4932304":{"pageid":6961886,"ns":120,"title":"Item:Q4932304","lastrevid":51095099,"modified":"2026-01-16T15:44:22Z","type":"item","id":"Q4932304","labels":{"en":{"language":"en","value":"\\(\\alpha\\)-resolution principle with generalized quantifier in the lattice-valued first-order logic \\(L_{\\text{vfl}}\\). II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794503"}},"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":"Q4932304$750D0B35-5365-44A0-83E9-9E391069996C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"997f2f42c61a0be5d8e70928deab415385f6f4c5","datavalue":{"value":"1206.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932304$3EFB2479-6E8F-45CF-8B64-03E6DB0FC67A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"772910dc4c138d24085726da3ebf65266b0d01ae","datavalue":{"value":{"entity-type":"item","numeric-id":267358,"id":"Q267358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932304$3F7138A7-1C75-469B-98B3-6ED9BF5C2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf8c6f05916935430882475e5336213b49b8372","datavalue":{"value":{"entity-type":"item","numeric-id":248016,"id":"Q248016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932304$97CB16CD-EAF9-4869-90E7-DA82C433A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"171a38172fc02a982bd006e2c2c8de4d9b9aa361","datavalue":{"value":{"entity-type":"item","numeric-id":3090177,"id":"Q3090177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932304$DDE4C910-C246-4D8F-BF89-609860903314","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4932304$5FF50904-0E69-4448-A2B3-4B30B6927A76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932304$1F120AC6-290E-49E0-9AF8-7DE8806202D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932304$E2BEE4B1-6063-4911-B8CD-3CEF76DEED24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48d648103a4d568cc84d272d4779f7fe4762ef1e","datavalue":{"value":"5794503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932304$986CD788-FEEB-4A11-B7F0-9205EF2800CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"014712aec324a70a6f09c0bded48b53518301614","datavalue":{"value":"\\(\\alpha\\)-resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932304$80BCB806-6C46-40AB-A4C0-DAEAA6021CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932304$1124B37E-B591-459E-A76E-7AD0292ED72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6bf242012f0c9e33122d87b9ee08130776fa4e","datavalue":{"value":"lattice-valued first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932304$E6F67BBC-15D9-4AF5-BB61-142950FE15C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932304$B31C13B8-C485-450F-AE88-A0560FB2266F","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":"Q4932304$9146024C-B262-4DE0-A231-A01520FC9B7C","rank":"normal"}],"P1643":[{"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":"65524627e46fbd9a466caf498dfa9d2fd54349cb","datavalue":{"value":{"amount":"+0.9806318283081056","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":"Q4932304$9AB1AEFD-512E-47FA-97AA-0405B494C2CB","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":"c2390c4af48e02f0cb35e948c63ab620db941753","datavalue":{"value":{"amount":"+0.8656741380691528","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":"Q4932304$C68792B2-89BF-436A-8B98-DBC5E36676F2","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":"4e87e859e110025a9013d2d095d2a190f7233498","datavalue":{"value":{"amount":"+0.8483595848083496","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":"Q4932304$5DCB33F1-CDA5-4AF9-A571-94DAB285E1AB","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":"7e8ec7dc3ba0521a08a8b488fd2ad87464262ec6","datavalue":{"value":{"amount":"+0.8458345532417297","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":"Q4932304$C7679233-0A62-4A0C-A840-76599BF05406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d22ab492ef8f7ccda9c9deb1d2d404b9a7e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3180197,"id":"Q3180197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6f32127d19a5a7d2356d426adf41d704d3a27b","datavalue":{"value":{"amount":"+0.8442339301109314","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":"Q4932304$88470484-474A-4E8F-8F4D-31D494CCA636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4932304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4932304"}}}}}