{"entities":{"Q2946343":{"pageid":2957063,"ns":120,"title":"Item:Q2946343","lastrevid":55937578,"modified":"2026-02-21T07:53:27Z","type":"item","id":"Q2946343","labels":{"en":{"language":"en","value":"Modal inclusion logic: being lax is simpler than being strict"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482742"}},"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":"Q2946343$94A1D619-9640-47D3-A294-B5BAADC1B7F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6193e3aad0450ccb12d51c33ad61c641f735eaf2","datavalue":{"value":{"text":"Modal Inclusion Logic: Being Lax is Simpler than Being Strict","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946343$CFF59D6A-37AD-4F99-A67F-FB77CCB21DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c736b95c1fc84d8a39011e8b0be35f586cd1f86b","datavalue":{"value":"1465.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$64F955D7-2BF1-4762-9ABC-F551172D29F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeb4039e06759d7abbf574fd164550f045f72a48","datavalue":{"value":"10.1007/978-3-662-48057-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$B46799F7-9DFE-40BC-9373-10652E0D1D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$808EBC93-CDD6-4163-9757-D0EEF76964FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$82BD1CCA-A9B2-4A82-A5D6-AA6BD3D72CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$1BCC1874-3D8E-4961-A632-BE14D8F2CB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$7C1EA694-5293-464C-A794-E9AA9E6B9C12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$293F0941-0214-4844-8971-1E6923A29C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946343$B5E8D2F9-D9E8-486C-91D9-2E128E150E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$77659D4B-7200-4926-979A-86D13523378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$06A55F02-04DC-42E6-BD8D-EE2025DB095D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$146DDEEE-4819-44F4-9FF7-F6F05844F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$8184C5DC-D903-4A40-A12A-433447CFF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$8285A008-9DD1-46EC-8770-D8311024BDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c163286c57e3d9ddeeda08fd5da3dc470997f0f","datavalue":{"value":"6482742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$F3FFBF47-99C6-4661-AC1B-AE296D837B1B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6d5129192567ff33786b5510a637a872515e87f7","datavalue":{"value":"Q57998287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$DD51AEFB-1D71-4B84-AFD6-DC6C9D6F43C9","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":"Q2946343$8DF83121-B0CE-4453-A078-34618A326BB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c7f3db3feb50d2592157b5b4a9d5b59f8a31bd5","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48057-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946343$98829200-F78A-421F-8AEC-A8FA83BF73CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e94cecdeabe9356f3348fbfc65c426570cdf05","datavalue":{"value":"W1901350436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$3FE1C918-A4C6-4308-A031-ED9BBC021FAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$E0ADE9CD-8C27-47E2-8836-F95561A3F70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$A15F4C2B-17F2-4528-A6E5-A9BC8516EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2b310bfe3331f719609c786fd6aba8488c72c","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$B0D3D3D2-616B-4700-9012-64C96EB75FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b45f388842b51b5a2da088b450fd6a6bbb068d","datavalue":{"value":{"entity-type":"item","numeric-id":4843270,"id":"Q4843270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$36E6D04D-7B0A-483D-B946-5FAF33CE5389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334b7748e2655c961553d8c4b942a86f1d37c57b","datavalue":{"value":{"entity-type":"item","numeric-id":2946343,"id":"Q2946343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$B3402813-EECE-4545-B65F-DB14FEE0121E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$68FBD15A-1066-456F-83C6-858B90A2C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$C830EFDD-6B0B-47F1-8BE7-C9E795EE3CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$0431C921-1DDD-4583-9366-5B9FE1772C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$3FED018C-9F15-4A01-AC05-F6D728C465DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$7C33C711-12E2-44F0-B7FD-1CBEA1FFE533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f21cfd80121419a71fc71c5f6a8481873755f5","datavalue":{"value":{"entity-type":"item","numeric-id":3656769,"id":"Q3656769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$E390894C-3447-4055-BC9B-850ED19E986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$1CCBFCF9-654B-4AE7-B74E-1D8FDC510C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aace11b77f2c23842b0942a0444357275c1b2a06","datavalue":{"value":{"entity-type":"item","numeric-id":4599513,"id":"Q4599513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$34C99ED0-0519-45C3-89D0-1F968ABCC66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe1ba208acceb486daa045e2a8fd0d503f716a0","datavalue":{"value":{"entity-type":"item","numeric-id":5249670,"id":"Q5249670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946343$4FBB6E7F-716E-4A69-A04F-029E3DBDA9A8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9b00ee5ff09b4e1be2c9824921c83d823041dc75","datavalue":{"value":"conf/mfcs/HellaKMV15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946343$34A3CF47-4EF6-467C-9E4E-4E98327C7F77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557b7a95af6c346e11507217075d39aa4b883096","datavalue":{"value":{"entity-type":"item","numeric-id":4972171,"id":"Q4972171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6588a8522e22bc7b60e112ba94db93911980c83","datavalue":{"value":{"amount":"+0.9587433934211732","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":"Q2946343$1FD9158E-5E96-466B-8F76-F5D4FA51EF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8f36f55061414329634d4dfddd71f6cf3925b4","datavalue":{"value":{"entity-type":"item","numeric-id":5213388,"id":"Q5213388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd738f57ede5603afb3c253e6881c087d958e8f","datavalue":{"value":{"amount":"+0.7729133367538452","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":"Q2946343$90D7470B-BDBD-4600-A1CD-12F566E89893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ee987f3efb15096b616a3c3e3fdd2697b4c019","datavalue":{"value":{"entity-type":"item","numeric-id":5111246,"id":"Q5111246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857f1ac273a73e66606f7ea7d8b1f3a9fac09945","datavalue":{"value":{"amount":"+0.7714676856994629","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":"Q2946343$EF2FB58E-54BB-493C-83C6-42C9451FE139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388a42dc6c4bfb96fc3233dc8c145a09e000308f","datavalue":{"value":{"entity-type":"item","numeric-id":5925562,"id":"Q5925562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6951f965b69624170175ef5b116976c5a778288a","datavalue":{"value":{"amount":"+0.7707948684692383","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":"Q2946343$1F9505D7-116D-41C1-BBE8-E4C4C8DDE50D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946343"}}}}}