{"entities":{"Q4972162":{"pageid":7001741,"ns":120,"title":"Item:Q4972162","lastrevid":41764314,"modified":"2025-05-08T02:19:44Z","type":"item","id":"Q4972162","labels":{"en":{"language":"en","value":"Modal Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135661"}},"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":"Q4972162$31A444FB-6E88-4771-9F29-B825671607A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"599ca5bc26359004bd7b24d3ae1f0a8b47034f69","datavalue":{"value":{"text":"Modal Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972162$4AB318D6-15FE-492A-BA6F-C24A2BBD27F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94408996b7f04fca9b9c196996df2158459ecb07","datavalue":{"value":"1433.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$912DC5C9-FC95-4575-ADF1-1114FA91834C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dab291b2ff7da1616ecf727d851e7149dcb4db53","datavalue":{"value":"10.1145/3331448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$2F298B91-9A0F-4201-94F9-3BBEABB836B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972162$393515F0-CFE4-4519-A811-E8C06BFFEBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972162$BCF9A471-2E37-4DFE-8155-8B03890543AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972162$A4132C27-4817-4013-8F2B-0CADF8DEBA15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972162$0E25A800-1DC6-47FD-9DEE-3D0725F14FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972162$9CDCF7A9-4D17-4F4B-A0BF-237259662EB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$43DF7D12-D9FC-4473-8E1B-4145BFF808AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$C5A03CDF-8BD6-464C-B868-5312BA77329F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d11bdfb86e2ecdc139678ab620b2e5f1e2f261b","datavalue":{"value":"7135661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$CFF9F88F-5CF6-4D32-834D-73C107EDC614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972162$F678CF86-9044-49BF-B19C-511F2D52DDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81312846a8089255ff6502a191c5415dfdab002d","datavalue":{"value":"proof strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972162$72C94E0B-F765-497D-90E3-EC57058FE61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972162$109761C1-8236-4E7F-8486-3EAAE705B69F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46a599d0ac7ddd2774c63b565b01275f13d619f4","datavalue":{"value":"Q114614011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$26021080-2FDD-481C-89FB-FFE75223091A","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":"Q4972162$3705B15B-B492-4F60-A577-116A44A031D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e40d549ab0655f5cdfe479af8110d405615f765","datavalue":{"value":"https://doi.org/10.1145/3331448","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972162$312C00B1-14D0-4F48-B351-E61BED00008C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d2dd2c4b120c5fad5e0f1fac0f80d03fd4160b9","datavalue":{"value":"W2968764582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972162$57FE8FE5-93E6-4B07-A91E-20213BA6211C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb447bb5809bae9d520969c1356867fa66364f8","datavalue":{"value":{"entity-type":"item","numeric-id":832717,"id":"Q832717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac9bd4d9e7e8d91e0f15c72ce4a7c864279cefa","datavalue":{"value":{"amount":"+0.9047752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$B60C4554-FEEB-4C54-AA41-4F409242A023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5887dfb116757f13164aa5ddb1aab569b834a649","datavalue":{"value":{"entity-type":"item","numeric-id":2772883,"id":"Q2772883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5e6fc95171eec948951fd542bdd05a688f02da","datavalue":{"value":{"amount":"+0.9028475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$0137ECE3-ED68-4F48-8623-070629AFA099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c02ceab0423b9758284659df1da37cb771c5ad","datavalue":{"value":{"amount":"+0.902304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$8FB52DBC-C76C-4882-BC25-783C23FA569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a299f4e52f835ae41fa360b053277c6c3fc18661","datavalue":{"value":{"amount":"+0.899195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$1A8D5F3E-EF51-498F-90B9-772EC52509A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb90dd38751d34581c8b2c1854daff88f7148647","datavalue":{"value":{"entity-type":"item","numeric-id":1332644,"id":"Q1332644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815a4a1b97a3ea6e36227f73a744f48d78d01453","datavalue":{"value":{"amount":"+0.8933717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$5E7866FC-59A1-4FAC-BFBC-AA8E214A7CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5991e368f27656ca9b0b6ed004a60c37a5be8bc","datavalue":{"value":{"amount":"+0.89108694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$9B0117FD-7C44-4088-B4DA-DCA38AF59155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa95b29332657f3434f87150235e83c1199fef6","datavalue":{"value":{"entity-type":"item","numeric-id":3455770,"id":"Q3455770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9072dc0d1f4ed872a1d89cecd886fa0f82d2877f","datavalue":{"value":{"amount":"+0.8910137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$0868B411-D683-4362-BD5F-05D29505A644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dd2b290cbb206425a778d1cd4f6b2687006ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1104915,"id":"Q1104915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306615d00071a79e852bb76d0d870755315eca3e","datavalue":{"value":{"amount":"+0.89069724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$12E465BC-6645-49FE-9F8F-3CF27CB57AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9104d6efaf18f96b4552d536a849788e51577e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3824388,"id":"Q3824388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17aa0901782ec51e0f7ad67fa470a52b441db24f","datavalue":{"value":{"amount":"+0.88811564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$C9218C96-3C91-4D4B-9148-1BDD7DD557AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb952c7e116badbce0317bc06862cc4a8f0a9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":3767322,"id":"Q3767322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4846b6c3a61b64af6d2ae40930fb14f13aed7d5","datavalue":{"value":{"amount":"+0.8868449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972162$0AE9267B-EC7E-4637-8C22-34061EE89B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972162"}}}}}