{"entities":{"Q5146596":{"pageid":7176167,"ns":120,"title":"Item:Q5146596","lastrevid":94678205,"modified":"2026-06-05T07:26:22Z","type":"item","id":"Q5146596","labels":{"en":{"language":"en","value":"Modal logic and the approximation induction principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301459"}},"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":"Q5146596$7053F4B4-1C33-412C-9D37-107F0811FCA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d79862d823a703e7014b37534ac94c8272f9292","datavalue":{"value":"1456.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146596$C676F40F-76AE-4396-819B-96906244A75B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93085f52138fad9fa73eacf47c42296b00e780b0","datavalue":{"value":{"entity-type":"item","numeric-id":1706140,"id":"Q1706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146596$6E326050-82AB-4576-B362-56EB9EF6A640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146596$4A407C6C-2A50-4C45-B019-41D56DEAA509","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-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":"Q5146596$809BD63D-D55A-4EBB-B827-11AFA377B1C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d1566e8868a80f34c2fc5a9c588c82cf1f03a95","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146596$416F4775-0703-46F0-A47E-D0A3519ADCCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146596$4333B2DC-F51D-4E6B-BB13-ED87D7A2787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146596$73D7051A-6608-4413-B7EC-06D173E6B8AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ae742c40891fc805eba79b9a86a39a0a7140ef6","datavalue":{"value":"7301459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146596$1AFBE077-90F8-491E-A272-943DB25545E2","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":"Q5146596$3E7820CA-00BA-4E20-87DD-60179F3A8565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6a8b1eba1d345e2100aa9c795e19e1684d80e2","datavalue":{"value":{"entity-type":"item","numeric-id":2883116,"id":"Q2883116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f53dd152c88d0691b98f0b189b5527adf9f0a34","datavalue":{"value":{"amount":"+0.977246880531311","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":"Q5146596$78DE7E9A-374A-4A02-9AF4-45811ADF9DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640bbfa8d40d7185798bc51cbd2b4f132768e29f","datavalue":{"value":{"entity-type":"item","numeric-id":4018076,"id":"Q4018076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f51e548f76c93909f8eaea41537b9c35ed998f","datavalue":{"value":{"amount":"+0.8846095204353333","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":"Q5146596$D5DBBC70-7345-4619-BB80-16E4B44D0E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee61145a395a941ff27584d81e94f3128bd150a9","datavalue":{"value":{"entity-type":"item","numeric-id":2478556,"id":"Q2478556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a37c04b5eecbb1abd12aabd00c2ea5ee74b01f","datavalue":{"value":{"amount":"+0.7220160961151123","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":"Q5146596$0E6780AA-0FA1-46CD-AB3A-08DDD55E9B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936dd111760f9187a1d0067c171b0e3933072ce6","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8bd92e566413954fed225fdf1cdc1ae270b60e","datavalue":{"value":{"amount":"+0.7169802784919739","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":"Q5146596$44F0AF77-8E39-4CAA-AD75-4DA291AA0CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83621a107374c16fa5d8bc0b1bc13bf1736d6382","datavalue":{"value":{"entity-type":"item","numeric-id":3519494,"id":"Q3519494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bf62052943cf1b707ea85aebd8c7b345461024","datavalue":{"value":{"amount":"+0.7160395383834839","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":"Q5146596$A0920177-0F8C-437D-848A-B560C2050AB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logic and the approximation induction principle (scientific article; zbMATH DE number 7301459)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logic_and_the_approximation_induction_principle_(scientific_article;_zbMATH_DE_number_7301459)"}}}}}