{"entities":{"Q5014359":{"pageid":7043936,"ns":120,"title":"Item:Q5014359","lastrevid":54164183,"modified":"2026-01-26T09:25:31Z","type":"item","id":"Q5014359","labels":{"en":{"language":"en","value":"Some classical theorems in state residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437512"}},"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":"Q5014359$C55838BD-62E6-4C1B-99D3-850E452F55BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"147a148e7981dcd48b7d0bb16812a893cdcdb8a3","datavalue":{"value":"1488.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014359$34924B2A-B59E-4EBF-99D9-8E63224A2425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a44436594897f672c1dfa3388d30d5377e314bb","datavalue":{"value":{"entity-type":"item","numeric-id":1639778,"id":"Q1639778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$168AD983-CE87-49F9-B324-265D40692384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689aff207c2903003ee8912c0ad22e24142f40c2","datavalue":{"value":{"entity-type":"item","numeric-id":5014358,"id":"Q5014358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$46D4BCDE-8F18-436A-92A0-B1D058E8A4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"925e25938348f8a6a0914f1a884cb20733ae53e7","datavalue":{"value":{"entity-type":"item","numeric-id":521726,"id":"Q521726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$786AF966-2473-47A8-ADE7-8E09BAF98237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014359$2D597C56-CC22-40A2-A00E-14AE3873FC87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014359$4801176B-E05C-4644-9003-68A396A41A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014359$32F5ECFA-A5CD-4609-BB16-9BC016924D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86c88e312b51b0f024428b113e3ca6f752bd3080","datavalue":{"value":"7437512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014359$0A4834AD-3519-47E9-928B-60B5B15712C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8417fec8bbf042dba471bb33ccbd1cc60f90f66e","datavalue":{"value":"state residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014359$7B6A1031-D8D3-4F87-909B-3C17E054161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b9684761665f06510104c5116329b8f1a9a7dd","datavalue":{"value":"going up theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014359$D120AC5F-4942-492C-B32A-0385FF3BAD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"212e8b3432aba0bbd4dad952a69e1886e5eb9bad","datavalue":{"value":"lying over theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014359$85FCEA2E-6362-4319-92AE-0954DD0AAAE9","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":"Q5014359$57663F39-755B-4F57-85AD-3FAD728044FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77c2978beba4dc8e237978be03b1cee111311c6","datavalue":{"value":{"entity-type":"item","numeric-id":1970954,"id":"Q1970954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$9B1CBE32-7606-42A8-BA2C-FF9C3D79593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b8444c0882e98d520ce373b91593abf38a6907","datavalue":{"value":{"entity-type":"item","numeric-id":432189,"id":"Q432189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$92C033F5-A9B9-4A01-861B-E3B3BD0B08CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95b9272ac1a809307b5db215c6a6ad40ae84721","datavalue":{"value":{"entity-type":"item","numeric-id":2391896,"id":"Q2391896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$6371AB33-0611-41EF-9352-63EB799666BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108ddcef7c35611c39401c81a84d7dfd658e2bee","datavalue":{"value":{"entity-type":"item","numeric-id":5378548,"id":"Q5378548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$33503E34-DEB8-4E17-BE91-FD28041B9D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"765b98ab7356fb4b4ec5334325193f0ebde733a0","datavalue":{"value":{"entity-type":"item","numeric-id":3646060,"id":"Q3646060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$086C55DA-12E0-4D23-9A17-FDDD6CE66265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8954db2afc7594479184e486e6b055104ed86831","datavalue":{"value":{"entity-type":"item","numeric-id":1035651,"id":"Q1035651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$11D67B95-0A97-4305-B8DC-8E2347394CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbcc4f7941d50d4e552200e61ac0ac1d44a8131","datavalue":{"value":{"entity-type":"item","numeric-id":427916,"id":"Q427916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$1CD6F360-67F9-454F-B440-855E78DEA56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929cc21f4ca526c221a265a7b9696a8246de4ced","datavalue":{"value":{"entity-type":"item","numeric-id":962839,"id":"Q962839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$8344562C-585E-49B3-A8FC-13033E77CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$0AA5C2C0-7EFE-4F73-900A-6CB87F5EF5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111c447c9a858f5cabdbfb637ed72e0726b92fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5228770,"id":"Q5228770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$A1E84D71-268E-406D-A9AB-896B6F10FB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb106f421a0c72779a81339e10be6212a5e0a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":521705,"id":"Q521705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$4A6F59AD-1A7F-4E7C-84D6-39BC6F5A6E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$21F0F379-38FC-4F1D-A506-4B684CE2B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8272dc1fe660c05a678ed0cbea0842ef2c024a","datavalue":{"value":{"entity-type":"item","numeric-id":1741932,"id":"Q1741932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$51B75F23-FC80-40BD-904B-98EB0647C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff1579bd69748bdf8f1152d5d1d2153e8964049","datavalue":{"value":{"entity-type":"item","numeric-id":2318601,"id":"Q2318601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$C9D55790-2CC1-4FD1-A6CB-AA59816A7F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc195ac6df6869b080240e865749011d7ca6176c","datavalue":{"value":{"entity-type":"item","numeric-id":521727,"id":"Q521727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$4154416C-D1F2-460F-85BC-7482F21E85FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4610f9ae0f2b972d88e84754ce49da333480e62a","datavalue":{"value":{"entity-type":"item","numeric-id":2329012,"id":"Q2329012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014359$F4C2BFFB-98EE-4884-B1F7-0A20F46DD8D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214c327e4741c6fd73b9ef270e69e185148df826","datavalue":{"value":{"entity-type":"item","numeric-id":2318601,"id":"Q2318601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fcc39ede39af317e893eb5943594cdf7581b00","datavalue":{"value":{"amount":"+0.8730834722518921","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":"Q5014359$9AA475CB-8505-4250-BB0C-6545BDE3FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646fef775163e6b7c5e7eaac87cdb3cffb1ed6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5889209,"id":"Q5889209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ee65c5322a2a18db7356fef46f9b3f72609cea","datavalue":{"value":{"amount":"+0.8195059299468994","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":"Q5014359$7214258D-4D62-47D0-9B19-4405C69EED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae549c35ee7c5e44be8987b6caddbb8f77db4fff","datavalue":{"value":{"entity-type":"item","numeric-id":5378548,"id":"Q5378548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d910a615d2c1b194a8f1e4609aa90b4f570ac9","datavalue":{"value":{"amount":"+0.809916615486145","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":"Q5014359$7A7812F0-7135-4E76-A60F-7A7526F5DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd53f1decd0480685150fd8085d759db78267cd4","datavalue":{"value":{"entity-type":"item","numeric-id":521705,"id":"Q521705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2835ed933400c5fca9714171c02fec8d05cd5b","datavalue":{"value":{"amount":"+0.8063198328018188","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":"Q5014359$3D984128-3BE6-41AC-930A-832902CE125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddd35708e1682ad59f8d239a442b6a48963fc3e","datavalue":{"value":{"entity-type":"item","numeric-id":5016104,"id":"Q5016104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b570b4315385af2c9ad37e0e5164e7e36031c0b3","datavalue":{"value":{"amount":"+0.7938697934150696","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":"Q5014359$61C53C55-28CE-462E-8007-503D50373DD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014359"}}}}}