{"entities":{"Q5419871":{"pageid":7449445,"ns":120,"title":"Item:Q5419871","lastrevid":52013750,"modified":"2026-01-20T18:24:40Z","type":"item","id":"Q5419871","labels":{"en":{"language":"en","value":"Completeness and definability of a modal logic interpreted over iterated strict partial orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302895"}},"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":"Q5419871$DB396369-F4C2-4E4F-B102-6316163A010A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5481562521767141e005e6f41f986ab1d3bfc17","datavalue":{"value":"1321.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419871$8B2D70F2-72EC-4A8F-A2F7-A24134A08933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419871$C990525F-EB35-4CA8-B25B-3B1266686254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b5d30131010afd8fa0fd1db8a34dd9d3d79a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3019978,"id":"Q3019978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419871$EC15C4FE-EDF3-40D2-9F75-2E8335F61554","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43778674c2b2702627340bb6c16c332cef55ae85","datavalue":{"value":{"time":"+2014-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419871$25C6D5DC-B1A8-444F-9DC5-7513CFBAD86D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419871$475C9C03-9B24-4FCD-8552-A051F1ED4B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c7c5442c34c38428602b06aa1e4606a588e5774","datavalue":{"value":"6302895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419871$B7EDE154-7DD0-452C-B58C-0AF5D26B29FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eeace9b0ee6a7ef11580bdd42f56f3cc1df0a9a","datavalue":{"value":"topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419871$1965DBD7-6315-47EB-9BB9-BD94E6184120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0020d6e1ae887486927f89109b1ae1728492c10","datavalue":{"value":"derivative operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419871$0424FA76-D418-4B36-844F-B544DF4CDF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4027d4394c2d2629d6624b2f430e1f173b9b3d37","datavalue":{"value":"Cantor-Bendixson rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419871$7116CB6B-9948-4269-85AF-5B49E9C01224","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":"Q5419871$BECF2599-5414-4EC9-91F2-46E91E807106","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f3b597c0edfe771cdf6a5b987e74c989ba2f7b","datavalue":{"value":{"entity-type":"item","numeric-id":3409453,"id":"Q3409453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4a0b7a530fc51bf999ea058d1ca057bdc95b6a","datavalue":{"value":{"amount":"+0.7388215661048889","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":"Q5419871$8A5CE48A-A894-4B4D-969D-E1C57909D90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c02ebb2a4b20f74aaf16ffcb563a05dcefdce2","datavalue":{"value":{"entity-type":"item","numeric-id":2904043,"id":"Q2904043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8271ae2e3a0ee00538524e7bcc3076102a1a12","datavalue":{"value":{"amount":"+0.7146264314651489","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":"Q5419871$7EB3FC18-0B7B-4CF8-B127-20A551E46E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13131697099a111faba428a1a395217939e7c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":817692,"id":"Q817692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0121cb1381af84c4d3639bc345d26c2b14a6eec1","datavalue":{"value":{"amount":"+0.7136793732643127","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":"Q5419871$ACF8721D-5F2E-4FBB-8FA9-CD6DB186E282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4680b6ebe5a63946034893ad499916432f0239ad","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205a278ca9de5cb7770a1306adc3fe9468816b2f","datavalue":{"value":{"amount":"+0.7070620059967041","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":"Q5419871$FF68DC57-00A7-4B69-BFA2-AF0E20BACFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34006bee21dbc3257df58ffa4a9792c5eaedeac5","datavalue":{"value":{"entity-type":"item","numeric-id":4936675,"id":"Q4936675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402a7db30d1534138141cf9194679ee9aff19fc9","datavalue":{"value":{"amount":"+0.7064003944396973","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":"Q5419871$879EB32D-A9EE-4C42-BC02-74530790E75A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419871"}}}}}