{"entities":{"Q287254":{"pageid":289021,"ns":120,"title":"Item:Q287254","lastrevid":60665652,"modified":"2026-04-10T18:23:02Z","type":"item","id":"Q287254","labels":{"en":{"language":"en","value":"Formal justification of underspecification for S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585494"}},"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":"Q287254$FE030047-20D7-4C52-B0FB-AD12EE9558A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c41ede57a311022cc0ccc37af11558e8947ba7","datavalue":{"value":{"text":"Formal justification of underspecification for S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287254$1FC73311-0460-40F1-B0FD-822F434C15A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"988b41c8a5bb1906448d2d0d7df32c2ea38c9294","datavalue":{"value":"1336.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287254$D36934D2-8A30-4CBB-B0AD-3170568E9B71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e9a61db96704b0862443c07d60007bebe4f07af","datavalue":{"value":"10.1016/S0020-0190(97)00165-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287254$FF943A13-9A93-4C26-8227-EDDFB2BA2265","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e07b2cfb719c12c1140a450da00fdf0996dd52","datavalue":{"value":{"entity-type":"item","numeric-id":287252,"id":"Q287252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$F58F71C0-B008-4F32-B65E-019856947576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$3835F3C5-4DAA-4DA7-8B09-CE395ED70750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$9AF74CEF-9AE7-4AD4-B277-AD64DD7E780F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-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":"Q287254$63BEB7C5-A31F-4EFF-9F19-8549DF44D280","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287254$1CA76353-C3DB-4B0B-A9B2-52E97485E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287254$B2DA496D-7AB5-49FB-B3A2-A5E402717DE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63bbd6e88be0a610452f275a011dca50f6c989e8","datavalue":{"value":"6585494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287254$A73D476D-2B20-4B25-9249-54880B107504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$F684487D-5E88-4E96-A159-278472566749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$CB7F5E5D-FFA8-4D84-AA62-8D53AB7A627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$B3C82C8C-C73A-431B-A67C-FB2993BA8094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$5635C8FF-3781-4C77-A31B-DC35E71A56D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b0b6b78771036888cb740b9815de4bd64cd108","datavalue":{"value":"everywhere operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$AF1DA7A7-BEBA-4DBD-A94A-9B045C0DB1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f64cbd338339f5fc3530946bf2c3680f97de4c","datavalue":{"value":"underspecification","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$07A73830-F1F2-4C4B-B9F5-479CC5C4510C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe65c01a291c34d321a4070dd1943218bbdb5e0a","datavalue":{"value":"undefined","type":"string"},"datatype":"string"},"type":"statement","id":"Q287254$8A81F4F9-DB05-42E7-9CCB-7ADA5F4F167E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$5428E019-6A5B-4845-A156-77E053F6217D","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":"Q287254$70630025-56D4-4B51-95DC-63E9F460A639","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40235e727aa70ad53a8a9ff6438bdb8cd979e140","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$AC258699-2835-4D26-98D0-49E2897DC754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faee4227c9f4a73e9676c774cff635c9809281fc","datavalue":{"value":{"entity-type":"item","numeric-id":674268,"id":"Q674268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$CA498900-0AD9-45E1-A911-4A1639E8E896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$7694BEE5-201A-46F6-8452-7CEED6732BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0154d9eaa9a1d3030d7e7c2d3c02448e4b9a97","datavalue":{"value":{"entity-type":"item","numeric-id":4399516,"id":"Q4399516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$285FDB9E-843E-471F-A74C-98B1A69FD5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287254$1DCABD1F-81EC-4995-A837-24CF1D643C4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335195b9136b2ce2a2cc636642c158f30e7c3cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2847390,"id":"Q2847390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802d3e09a6faf810f6809ca26fe6d06544157a12","datavalue":{"value":{"amount":"+0.8029443","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":"Q287254$94FCC817-8768-4892-B742-2C96AE155C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018086bcbf46b20200c3781c779b97f9b5a3a20e","datavalue":{"value":{"entity-type":"item","numeric-id":5465434,"id":"Q5465434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb13218a5903cf14a0aa5ea5ad02993eb2dd5b2","datavalue":{"value":{"amount":"+0.79231364","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":"Q287254$19CF931F-3E6E-4F86-A8CD-EB0A923DB561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed65b361964e3c64608aacb48e397b30645537a8","datavalue":{"value":{"entity-type":"item","numeric-id":2845516,"id":"Q2845516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dedc14bb55a6873a7fc89c547c887e39351317","datavalue":{"value":{"amount":"+0.7759883","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":"Q287254$5C8DD108-52F8-476A-BFD5-F2AE61358366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2d4e7ff04dab08345c01fa6e07937a622174af","datavalue":{"value":{"entity-type":"item","numeric-id":5184389,"id":"Q5184389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d122f5b4b3fa55dc8116ce5c337c0503c3f89c48","datavalue":{"value":{"amount":"+0.7756764","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":"Q287254$B462F84C-6DE9-481E-909C-6E4A41EF73FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17e2113edd3ffb36b287c46bc8a9f046154f6d4","datavalue":{"value":{"entity-type":"item","numeric-id":3607560,"id":"Q3607560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2206356104e61fd4e535cb289c3b6e137279a6","datavalue":{"value":{"amount":"+0.7724714","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":"Q287254$CC9EF3D4-8001-4267-99E8-5B6D8D664F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe520b881e25fb4c4c8a205177018870f594e4e9","datavalue":{"value":{"entity-type":"item","numeric-id":5394197,"id":"Q5394197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d2500cb44c05866db201dee02a540ec18db7c0","datavalue":{"value":{"amount":"+0.76674503","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":"Q287254$3D1070C0-218F-43A5-9520-DBACBA32D707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a4e01b36aa20962112c6be691db5124531e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1293002,"id":"Q1293002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9276d370e36c6a2bc1a88a46a77581749202b9e0","datavalue":{"value":{"amount":"+0.7666619","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":"Q287254$C08B8239-572C-4089-BB22-2A8E93B19042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18e079b6e997468bbda64a0f43329bed24d7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2478553,"id":"Q2478553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83f9b767b8efba36269cca8029b42872da6000c","datavalue":{"value":{"amount":"+0.76626176","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":"Q287254$63B62FC7-54A5-4A58-8F18-DCDD8AFCBE32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal justification of underspecification for S5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_justification_of_underspecification_for_S5"}}}}}