{"entities":{"Q5420738":{"pageid":7450312,"ns":120,"title":"Item:Q5420738","lastrevid":52016528,"modified":"2026-01-20T18:33:47Z","type":"item","id":"Q5420738","labels":{"en":{"language":"en","value":"Fixed points of modal DS-formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6304211"}},"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":"Q5420738$8139F41E-FB3A-435F-959B-7AFDCDE9FE44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bf49db7ae4ccf4878ef6b19a97cfea006cf0425","datavalue":{"value":"1299.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420738$6B7D3257-539E-4B46-85DD-BF0925F77631","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c5cd2b89322a88ecf881cd144c8d620caf9a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1069925,"id":"Q1069925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5420738$30A7CD5B-8FB6-41A0-B32E-DC783B67C2CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cf65a0a15e4a2557d19b62b796c4a79890f2974","datavalue":{"value":{"time":"+2014-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5420738$90744C75-E15C-40E0-84CD-A3CD6E858EAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420738$1DC22F10-A452-45E4-9792-453D9ABF0F00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8866165cfc3c5651e3bcb30d7e0dc2707f798b1e","datavalue":{"value":"6304211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420738$C028DF4F-F77F-4484-80D7-FEE29DCAAEA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5420738$AF4596D5-CDC4-4F95-BDE3-0F6EBBECA96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5420738$C04CE5B3-C678-4090-BA2A-89192001D937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5420738$5B385DA7-9F9C-4922-97B7-DFE749344F56","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":"Q5420738$7DCC6654-6778-4F06-BF60-20517BD6564D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c797aaecf45109147d3ac9cd6f45a46f7681527","datavalue":{"value":{"entity-type":"item","numeric-id":2885299,"id":"Q2885299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97e7a193e01a30b1799416e4264b7765acee2f7","datavalue":{"value":{"amount":"+0.8238018155097961","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":"Q5420738$940F900E-4C27-403A-97F0-C3681E6ED5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7c12a8771fa5aec01d9d8863808c51718cd5a0","datavalue":{"value":{"entity-type":"item","numeric-id":2898996,"id":"Q2898996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8f42c918e1436e04d9386b474d362b6874d57b","datavalue":{"value":{"amount":"+0.7961919903755188","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":"Q5420738$7C3BC2D7-ACAF-46C8-8729-33B7398799F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d759d7ed999a0d0b54e0d6f3a92571bc1156fdee","datavalue":{"value":{"entity-type":"item","numeric-id":1317626,"id":"Q1317626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd8ae3df8f3f76d3e6305c50d5c5f9bb729d652","datavalue":{"value":{"amount":"+0.7806755900382996","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":"Q5420738$B843ABAA-3EC1-4EA2-8760-20BF3C8A40F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54201ef46f6591c75840b042cdb26f324123e12","datavalue":{"value":{"entity-type":"item","numeric-id":4783314,"id":"Q4783314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd8ae3df8f3f76d3e6305c50d5c5f9bb729d652","datavalue":{"value":{"amount":"+0.7806755900382996","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":"Q5420738$10FFAADF-8F30-4E23-8673-6BAAF5C34421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76387bbc50fc0fa7e60b5f8361a7b638cbe8abe9","datavalue":{"value":{"entity-type":"item","numeric-id":3647275,"id":"Q3647275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce941e40e2fb4179bbbfd95701dbee800fcf340d","datavalue":{"value":{"amount":"+0.7707488536834717","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":"Q5420738$3FA3256A-CFC3-4572-B17E-35E052692933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5420738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5420738"}}}}}