{"entities":{"Q5090984":{"pageid":7120560,"ns":120,"title":"Item:Q5090984","lastrevid":94276400,"modified":"2026-06-05T06:24:18Z","type":"item","id":"Q5090984","labels":{"en":{"language":"en","value":"Bundled fragments of first-order modal logic: (un)decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561348"}},"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":"Q5090984$27B0FB55-2F6C-49E9-AF04-C7036287F1DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090984$6E39B30D-3AD7-4E51-90E2-87FFE7EF988B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fa18fb3366ec0ac5be508bee2be73572c52c942","datavalue":{"value":"https://arxiv.org/abs/1803.10508","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090984$434717A4-6BA8-435B-985E-BB05DC58E217","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090984$9F908E37-1DB1-4924-84F9-BCC19EF591F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090984$0F0FEACC-586C-47AE-9C59-B28FC1CA9066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e0258c6cec58d32fd829f7f7ef089581d4b216","datavalue":{"value":"7561348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090984$08DBE75F-FBFC-491B-9CDE-19B41F8A5104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090984$45FE2A6C-CDB4-4BCA-AAE7-C4E9F35FDD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090984$84E38DC6-A70C-4DEA-A608-2537B1523820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f74d42df782ea058c004dd15863975183261b2","datavalue":{"value":"bundled fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090984$D4BF78DF-FC96-4B50-9231-F6345B3A6836","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":"Q5090984$0E124BC9-77DC-4F7B-B1E6-115DEB2A12A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deac8e4739febd2e58c74094514d50b36375099","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$AC54C1A1-E7F1-46F0-B416-BA5915574200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$DCC5FF5F-29B2-4FF0-B917-EF024FC6ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90947c7ce47766a127d7aac2ad60fe05870443e6","datavalue":{"value":{"entity-type":"item","numeric-id":1249166,"id":"Q1249166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$C211B87F-973A-4EF3-B0A2-C1DC68C3FE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$8FF71808-7A97-4010-8B78-5FFB206E7CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc11bef0687736426881f0a6305b50c887bc9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$9A708AAB-6299-4351-964E-F2379603973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d3e80b41f170ac4196b6987278b1835728d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4755550,"id":"Q4755550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$DF0395A1-53FE-4004-A219-58EF1B455D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$1E6478A9-25F5-4919-8A71-33438E52E7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54025300fda40ddfae03f3a130ec09252127cc5d","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$C52ECF1F-FB35-41DC-9424-A1152EDDF7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$1AEE0807-EEEB-4581-A432-1B6CC3358F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a9c70d78decb754c29ed41ad7200da8c84855","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$C24697E6-AEE5-4520-AA6F-A7260AB1AF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$D13D59EC-FBE0-41AF-850C-B65D53457F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$662CEB01-71F7-4ECD-9384-3BFEAA48A0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce1ca1b981bc2a165bae5e688c89596c939f59e","datavalue":{"value":{"entity-type":"item","numeric-id":2218708,"id":"Q2218708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$69DCF057-3A85-49E3-BE4B-EFFF681EB2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d354655ba9301604e5b226418233244fefd454b","datavalue":{"value":{"entity-type":"item","numeric-id":3384090,"id":"Q3384090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$52DD0BF1-2007-45B7-AEF0-8AE1B8CB53C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897afc0193d64b368f5ab3796201890f5a140b12","datavalue":{"value":{"entity-type":"item","numeric-id":3299590,"id":"Q3299590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$920682B7-AD9B-4992-BA29-610191571CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090984$8829F8BC-7B80-400B-BA08-57E24D14F3CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd91987a39aeaccfd6e7d47e76be22e88d945cb","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090984$491684BE-057D-4718-A45D-B1D80E929EA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb158dd7973414d14e61278870445c0f264b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b917046d433592380606590cdf79f7164870709e","datavalue":{"value":{"amount":"+0.7642539143562317","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":"Q5090984$865D9452-9B2E-4714-9238-F3F371E04073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ee064c73ba6dca053ac7e61f3b3f0aa7bce67d","datavalue":{"value":{"amount":"+0.7615258097648621","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":"Q5090984$E471CD53-272E-4F8D-BDD1-722DE852D74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7802a997bd979f5011a61696dec95d90d90ca35b","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60571b49ca488206c62ed7ca431752c8832c9e10","datavalue":{"value":{"amount":"+0.7581194043159485","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":"Q5090984$055DB11C-9769-4CFA-8E4A-102AA45FBDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b99d416fec6d84e93dc4fca6044f95cf0316dd","datavalue":{"value":{"entity-type":"item","numeric-id":2284173,"id":"Q2284173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36ba49cfb41f126b301574a03063bc77a74b6f4","datavalue":{"value":{"amount":"+0.7522432208061218","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":"Q5090984$5C467D18-0F5B-4BB4-BC3F-132CB1CD0EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86dcde12e241d40addd29f5368a3be7a05a8a7a1","datavalue":{"value":{"amount":"+0.7452149987220764","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":"Q5090984$F19D8211-F9D7-4E72-85BE-03CA65B9D91B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bundled fragments of first-order modal logic: (un)decidability","badges":[]}}}}}