{"entities":{"Q3403376":{"pageid":3414079,"ns":120,"title":"Item:Q3403376","lastrevid":50905307,"modified":"2026-01-15T16:53:24Z","type":"item","id":"Q3403376","labels":{"en":{"language":"en","value":"Weak completion theorem with generalized quantifiers in \\(\\text{LF}(X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5670292"}},"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":"Q3403376$12AE6339-CAD6-4259-9062-2E433159D3C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac71da4ce7dd612d40619a62f63199e47c0fc72","datavalue":{"value":"1199.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403376$4AC764D2-955D-4F0B-B52B-EFDDE38A8527","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":"Q3403376$43639A1B-FC77-48F8-91E9-5E2312DE55C8","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":"Q3403376$A46809C8-A5DA-4149-8FA8-A9F40FEE92FF","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":"Q3403376$B4447B05-C819-4604-A26B-3D23A1A4E7C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f701a5fb7efb18b2a5b2faa4325ff6ec6c98bb41","datavalue":{"value":{"time":"+2010-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3403376$B98CE928-BC0C-4ED7-8B00-7F9A9AA534C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403376$2B04B190-5739-4E9C-9C57-4D389D1F0824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a23f628a43588d17eb36f1c107a0d9b7b2589466","datavalue":{"value":"5670292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403376$BF663016-456A-470C-8DBD-9DD3E135662C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcc19f4a683a85e5aa9fbd2bf8765427cb494dc","datavalue":{"value":"first-order lattice-valued logic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403376$14643AF1-6C2D-4805-8D76-01B3CE23AFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403376$49F02494-6952-4185-AD01-6DF2A8D2EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a7473622194ba7e29fe4a100e4a22de44c8550","datavalue":{"value":"weak completion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403376$840E4A85-CFF4-49A4-8B02-90FBECAE2EC0","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":"Q3403376$7AE23360-5887-489A-A0CA-1B30088A670A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad73587dd4071b966e643431c5e3f57ecd8a43d","datavalue":{"value":{"entity-type":"item","numeric-id":835184,"id":"Q835184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b6253418d4715a524f7ebd82f699f9f530e16d","datavalue":{"value":{"amount":"+0.7366133332252502","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":"Q3403376$EF90E578-15C0-4051-8976-FFCACB20BF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbd37e023e6b85e924500507973bf86bbb0d9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6fa0aa6696bb4dcc38e84b02aeb23afadcea53","datavalue":{"value":{"amount":"+0.7326285243034363","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":"Q3403376$E108F3B3-AE4E-478F-A9B9-53E1CDF2325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317d2608ef05e525a4d9bf2a4a04d0bbe1f9ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4509110,"id":"Q4509110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1b849115732cba40972e71cb4553adf45ea491","datavalue":{"value":{"amount":"+0.732603132724762","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":"Q3403376$AC7DCC39-7717-40F5-BBFB-591D30E508FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ad60da715ac74901745e22b1f0932d9c97c608","datavalue":{"value":{"entity-type":"item","numeric-id":4428166,"id":"Q4428166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18784a46becde37a4a21efae4f472e7989558c0c","datavalue":{"value":{"amount":"+0.7292794585227966","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":"Q3403376$CDFC1AD0-4D64-4412-AB4A-7BBD0E5E8FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c50c95c737402c1bbe9bc31951d42b9bffa018","datavalue":{"value":{"entity-type":"item","numeric-id":5906996,"id":"Q5906996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9008fa923a6de0ef6196261fac0bbf238a19e9dd","datavalue":{"value":{"amount":"+0.7237808704376221","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":"Q3403376$ABD5AC20-3A29-45A8-9B7B-97F0C5BA25FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3403376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3403376"}}}}}