{"entities":{"Q5259293":{"pageid":7288861,"ns":120,"title":"Item:Q5259293","lastrevid":52292390,"modified":"2026-01-21T09:12:46Z","type":"item","id":"Q5259293","labels":{"en":{"language":"en","value":"Quantitative analysis of lattice-valued Kripke structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451165"}},"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":"Q5259293$A310D07E-EB9D-4E40-94E5-C242C3CFD09B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f29a27af9344176065a6307c79dddf766758d1b","datavalue":{"value":{"text":"Quantitative Analysis of Lattice-valued Kripke Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259293$10F1FBEE-DAD0-4BE2-B4B2-35AD84BFE8D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7174425549b93e35a3867549bbfae7db86bf3e20","datavalue":{"value":"1354.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$27FC3CF4-F36A-45A9-BFF2-5D9B249F3D8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"960265c31bd4d622d372a398ec64663b134d1d88","datavalue":{"value":"10.3233/FI-2014-1122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$63B4FD46-39B4-4AD9-9A40-A5BC37003DD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6727f902e49839f6e7f359fa77c1075b9ffc1814","datavalue":{"value":{"entity-type":"item","numeric-id":473366,"id":"Q473366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259293$6D44C585-75FB-48BC-9636-D0B825E340A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae4d9e47b529655a51a843de5f675cf2b0ef53a","datavalue":{"value":{"entity-type":"item","numeric-id":352096,"id":"Q352096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259293$FE3BACB4-F2CB-45FC-83E5-98E5F60F848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff015b27d0b9c7ce776928539bf77e519ae46543","datavalue":{"value":{"entity-type":"item","numeric-id":276400,"id":"Q276400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259293$37B00EF3-D0D2-4C32-88E3-B7D22C5FEC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259293$CAB9369F-84E1-474E-AA42-68BF6E396C34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259293$7F329544-31F1-4002-9BC5-23EACEE82F26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259293$1C9EB7CA-D6C3-4C5C-B42E-B25A2F23FD0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$A2837A6B-0FC0-44E7-8550-CEA105D4329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$0540A597-515B-442D-98BC-2C4B8C9B808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$C2B7BDE1-DA39-495B-9D24-10E25682C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$630AC7FF-532B-4A91-9B50-48D5E215B6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$430EAD29-4A84-4F3D-9485-84C2BC0E1C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$899C9B97-72DE-4C09-9A19-0F1AE76DFB8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ace12a37f2f85866a2f8edb6264024c78097ebbc","datavalue":{"value":"6451165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$510F84C0-20F7-4FD7-B8F9-32635639F718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259293$D33083D0-4787-4BE3-95E8-653186B0DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259293$85C3B4FF-EC9B-4790-8B8A-457BA61925AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259293$56A19A15-07FF-4F7D-9CC8-A3E258E5AF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259293$8609D7F4-FC58-47AC-9CB0-DBB5F1027A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6cfb795175a79b323ced8d22f68cf89704192c","datavalue":{"value":"lattice-valued Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259293$35D231F3-0FDA-42D5-986B-F64CCEB6B17F","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":"Q5259293$08CF1439-E11E-41E5-9360-DB459D3B2F97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3d3b0257830f53b71fcd6d728ad1d5c43c2a0fc","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1122","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259293$014843E0-2629-4C77-A173-80D6D4452DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edbf245f7dae46ff801143f4b5f85a61b574a322","datavalue":{"value":"W1568513899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259293$E26BBA64-0B44-4C99-B197-6BDB45707026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb451e9f4ce4a7f0b0192fa14e434bcec27dcb2","datavalue":{"value":{"entity-type":"item","numeric-id":3552519,"id":"Q3552519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7e4fbaba7b028b616d65fb0045395af22400ba","datavalue":{"value":{"amount":"+0.787797212600708","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":"Q5259293$2190216A-BF06-48B8-9172-7009CD1D0D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0544a9fd3fa5d81903a8c48e953bf740cf347320","datavalue":{"value":{"entity-type":"item","numeric-id":3510804,"id":"Q3510804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd8d44dfbd7e9716f8c38f02c3c9386d7be6cf0","datavalue":{"value":{"amount":"+0.7849356532096863","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":"Q5259293$72EC415B-9B4F-4658-908C-1B4D75B01568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766a7dcb78e85a6cc6b3add9a26cdd598f1c6093","datavalue":{"value":{"entity-type":"item","numeric-id":2353987,"id":"Q2353987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aff05e5b7fd17df5ed2cb246115045f7ca162a7","datavalue":{"value":{"amount":"+0.7589715123176575","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":"Q5259293$36023E73-B947-4718-9CF9-B6DAEE619C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa69aa54f3de9801d92aa521a1836cab63e7f45f","datavalue":{"value":{"entity-type":"item","numeric-id":5368011,"id":"Q5368011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ccdb296fbc8f3ea033f36b0bb7a00b7364b2b2","datavalue":{"value":{"amount":"+0.7571172118186951","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":"Q5259293$E313BDFB-EDAF-4489-8841-41DBF36A6C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1fe44711cb43516b28c1580122505e79897694","datavalue":{"value":{"entity-type":"item","numeric-id":896917,"id":"Q896917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edf443f4cbc9b418e19051bb681153d8d06da88","datavalue":{"value":{"amount":"+0.73909592628479","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":"Q5259293$EE482011-88F0-462A-A4F1-83083DE849E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259293"}}}}}