{"entities":{"Q2067514":{"pageid":2078256,"ns":120,"title":"Item:Q2067514","lastrevid":73995879,"modified":"2026-04-14T17:59:42Z","type":"item","id":"Q2067514","labels":{"en":{"language":"en","value":"Quantifier-free epistemic term-modal logic with assignment operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7458667"}},"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":"Q2067514$BBA510EC-8C23-4C0F-8CB5-EEA54FA778C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fe2ba533a22b7a8ec27bd40698c7c98e8b02fc9","datavalue":{"value":{"text":"Quantifier-free epistemic term-modal logic with assignment operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2067514$960E2AF2-48A9-432D-9ED4-089F390A8293","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1561966e928a982508cd4716841e51c269ace7f9","datavalue":{"value":{"entity-type":"item","numeric-id":456974,"id":"Q456974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$415E0B0D-3FE4-4B77-BD5A-254385FC31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f6c5ecab11dc7d04bb136b6ad5fd0b93358fd26","datavalue":{"value":{"entity-type":"item","numeric-id":1783218,"id":"Q1783218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$FC02B8F6-FC4A-4DC5-97E2-6AE8EE66D939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7015ce4ec10ee73d8119ff340005dbe4307a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1679743,"id":"Q1679743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$5E9A1C46-7F2E-49E3-9548-5A5AA15E9EEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$93C35061-FDB4-408B-8E88-3CCA7C5878B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ca2650979f724510b6fdad7c545c6ca3688a8af","datavalue":{"value":{"time":"+2022-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2067514$70FAF1A6-42C8-40A1-82F4-472112A91BF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$1BEC1DB0-9604-4BB6-B209-CFF667281B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$AC49D509-22C1-4A3B-9323-8A984581F32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$72811175-C4ED-4A13-A842-432EEC84D160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$D8EDF3A5-E209-45B3-9B12-84FCDFEFE6DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44a49d276c0d3178cd2710f093342fe7a8663f55","datavalue":{"value":"7458667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$8384DC1E-0110-4DB1-81C3-02E63DA10010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067514$A2DFD75B-5562-4441-88F0-D8BD10CB2D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902363698dd204dda0c25bdee459c06aadaecf46","datavalue":{"value":"term-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067514$A8601876-2E72-40D8-8168-54FE93EB7038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067514$C9446271-1F0D-4D92-A71C-52F536BFE160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40fac0b17bab3df0567f2c87274815f53ff9961c","datavalue":{"value":"assignment operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067514$A65C5C59-85A4-4254-B259-1EE68369746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2933057be2829856b9933bdc05cad2211bdccb29","datavalue":{"value":"\\(\\lambda\\)-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067514$5671F47E-2BDE-456B-8A12-6099E9D84EA5","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":"Q2067514$A0DD038B-5916-4FCC-AF21-0239DBB60150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b5b3249308b90dc6fd420c11e338a7e4bb772c4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2021.103071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2067514$786076D5-D403-4FF2-A5C2-9504B92351D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dcd95af2cd490e57b0413b3f3f89f11def1d251","datavalue":{"value":"W3216606561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$C04C6969-EA94-49DE-9BE9-9AE1C0AA10FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e75fb9da1f171862c151f5cf26b40780720021f","datavalue":{"value":{"entity-type":"item","numeric-id":3299573,"id":"Q3299573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$C223E5C2-A713-4E4E-8153-534C1B321D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a97af044e395e79750c9688ee5641dfb3fd1c01","datavalue":{"value":{"entity-type":"item","numeric-id":3001111,"id":"Q3001111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$EFFEB639-2DA1-4357-A67E-A407FD6907F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b2bab98dcc43f9db84a3da5d7d33f2402ce9cc","datavalue":{"value":{"entity-type":"item","numeric-id":4451729,"id":"Q4451729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$86D01F2B-818E-4CB7-8A0F-117D6819F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cea6210234011431cccc309e04a7e9ba221e19","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$3423B724-0A18-4959-B182-F1C757F9ABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5445f7af0f9161d03fe0b5ba44e8232112c0ee60","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$5B04E211-2A1B-4EA6-AE5A-654624EF47E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$C3668946-EEFA-4A34-9419-5EFA85B605E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$BC2F5CF2-D423-4428-9943-1EE1A578E653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$5180A087-AE55-422D-99E9-DA808FCF72F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a845c86f385c251e0f81bb55bb436c7353ece0","datavalue":{"value":{"entity-type":"item","numeric-id":1855214,"id":"Q1855214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$2CEDC03F-51EB-4064-A612-CBB0A92A0738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807f40b98e6f9faa4b0ff6bf6fa2f8d012e065c3","datavalue":{"value":{"entity-type":"item","numeric-id":4276167,"id":"Q4276167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$346541B2-9F96-4DA5-94F3-27AB71D6F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ffba6ae74b4fce5578ce77d87dcc6da10d38e1","datavalue":{"value":{"entity-type":"item","numeric-id":5249684,"id":"Q5249684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$C7720122-5CB3-467F-8219-72C1A432B68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$FF2AD886-47AF-4441-A8E0-44AB4B98F93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$98C92B3E-7D44-43D9-8C48-5527CDFAB311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$487F34E6-4179-4E64-9823-F61330DAC8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9cdf4f86d45d12cb2e1daaba9a3b7b5dd884a1","datavalue":{"value":{"entity-type":"item","numeric-id":5381039,"id":"Q5381039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$4E1085BE-2B07-4F9B-BC9E-A1A6298A063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d477c5820e6475ef50a16eb49dcd0c78013eba93","datavalue":{"value":{"entity-type":"item","numeric-id":2211848,"id":"Q2211848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$C1307A16-B218-419D-9DAF-636841EA6A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a37f03ba2d7424ebc7e8dc99c7dfe63b9129737","datavalue":{"value":{"entity-type":"item","numeric-id":2291235,"id":"Q2291235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$817970CD-2534-4233-814D-83F28B30588B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a69981cf43ed675703d3effdf9f61992771ab77","datavalue":{"value":{"entity-type":"item","numeric-id":5092390,"id":"Q5092390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$58D96BDF-2DF6-477E-B282-034EE763E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7e706f8e9249519066e3c269d42d0dd78173d","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$118A9F52-D265-4130-8945-0A350828673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0aecbf1cc5eeabfde90d5846c8a207aeaf7e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2284173,"id":"Q2284173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$15BC4587-859C-4984-B82A-7F529F8487FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b963543d7978978442db3180a4f8f3b558200","datavalue":{"value":{"entity-type":"item","numeric-id":5200468,"id":"Q5200468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$FD8D2D43-4EB1-44B4-9D6E-9A841F3FAEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c98a1646826f4973f9cc8fc8d53f8cdf650119b","datavalue":{"value":{"entity-type":"item","numeric-id":2736204,"id":"Q2736204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$080704E7-D532-4D80-8515-4458A6BA113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d354655ba9301604e5b226418233244fefd454b","datavalue":{"value":{"entity-type":"item","numeric-id":3384090,"id":"Q3384090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$C973939C-ABC6-4FB7-84AC-B9EBF5107B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897afc0193d64b368f5ab3796201890f5a140b12","datavalue":{"value":{"entity-type":"item","numeric-id":3299590,"id":"Q3299590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$BB0C4244-BC7B-44CB-896A-F34117B643F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fdc7383d9b6c6ba220a12294fb84fcdba72817","datavalue":{"value":{"entity-type":"item","numeric-id":5224590,"id":"Q5224590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$5BF626FD-8595-478F-8867-8D272558D4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c978ee8a631aace02221941bdde51958b115b0","datavalue":{"value":{"entity-type":"item","numeric-id":1790599,"id":"Q1790599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067514$A20E11EA-C6A0-454A-BA55-57E625D2A89B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b8c559897af79c152c72d0834a88ed46684201e","datavalue":{"value":"10.1016/J.APAL.2021.103071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067514$DEFE28E0-1D3B-4B02-BA4D-F216368A8718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d930f3867e7198dcc7fb606f1189f772ed520b3","datavalue":{"value":{"entity-type":"item","numeric-id":5224590,"id":"Q5224590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab4a50a9ee398ae481800ca6cc958405076e105","datavalue":{"value":{"amount":"+0.8988674283027649","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":"Q2067514$3BED4D15-7611-4312-A199-40B6C4733717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2d942a3487ddd8c77abc011545652c3c29069","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc94e17bf3e3d6c8bab0fb5f45ad4eae65073c9","datavalue":{"value":{"amount":"+0.8174228072166443","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":"Q2067514$96FAE3F4-ECED-4CCF-A984-18AAA4D547D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc505196e291ec95c12e2486d954ac95de82c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":2736204,"id":"Q2736204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69abf80f777975ed3b875cc577fe6b0cba609953","datavalue":{"value":{"amount":"+0.8038467168807983","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":"Q2067514$D762463E-DEDD-4E4F-9854-AF49BF42820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270ab7c0a05bd42e2ea587256a7437ac2d4f9662","datavalue":{"value":{"entity-type":"item","numeric-id":3295784,"id":"Q3295784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f173fd52e8229c4c96488a949855227b98aa0464","datavalue":{"value":{"amount":"+0.787756621837616","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":"Q2067514$40720EB1-F82B-422D-89EF-BC50FCC482A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088508eaa7b017c41cca17086d8aaa260a0cc265","datavalue":{"value":{"entity-type":"item","numeric-id":6642565,"id":"Q6642565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16246b6affa9d85bf5ef451926bdf6edf3dac15","datavalue":{"value":{"amount":"+0.7852439284324646","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":"Q2067514$35E10082-56E5-4FA8-9F10-B7269CC65B80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free epistemic term-modal logic with assignment operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier-free_epistemic_term-modal_logic_with_assignment_operator"}}}}}