{"entities":{"Q6584074":{"pageid":14195230,"ns":120,"title":"Item:Q6584074","lastrevid":42363357,"modified":"2025-06-13T01:59:27Z","type":"item","id":"Q6584074","labels":{"en":{"language":"en","value":"Generalized bundled fragments for first-order modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893108"}},"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":"Q6584074$69E5770B-7324-4CA8-BC0F-2464AFF3759C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a91dbad813a179b2a929920ba4cf6f0bd8d1187","datavalue":{"value":{"text":"Generalized bundled fragments for first-order modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584074$73655B5C-882F-4223-B8A9-E7A566A04E4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe99f88148659439ee3682ca1ad6396fe87480c","datavalue":{"value":{"entity-type":"item","numeric-id":2055758,"id":"Q2055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584074$93FF95F5-7AC2-43F8-AFC7-1DB4F0C793A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e76cf2b1d6d267f9076f171d8ab0e079eaffccfa","datavalue":{"value":{"entity-type":"item","numeric-id":6082223,"id":"Q6082223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584074$3EF1A153-B137-4453-ACDF-7359B209BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8eea516667c5704bf331a2315ba78968cc5152b6","datavalue":{"value":{"entity-type":"item","numeric-id":6082224,"id":"Q6082224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584074$F8B671A8-2E7E-4E2E-975C-665E88A8E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1561966e928a982508cd4716841e51c269ace7f9","datavalue":{"value":{"entity-type":"item","numeric-id":456974,"id":"Q456974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584074$3A627098-541B-41D0-9EE2-BE27B8554B3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584074$859EC61D-C3B3-47A6-9AA9-BC699052C211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584074$A8B35E4C-6E3D-4B92-934D-C2AA7153030F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"800a8a5a31b87f18b03cf656efa51da4799f91b4","datavalue":{"value":"7893108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584074$AB8FDBF2-9A6A-4AB1-847B-6D153E035D56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f74d42df782ea058c004dd15863975183261b2","datavalue":{"value":"bundled fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584074$17F35C39-DBC2-45A1-A425-95EB2C5076FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584074$9AF8728E-EAD0-46B3-A600-B1E895EDA297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584074$28A0B326-0B6A-4AE8-BB77-E97A69442511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584074$8BF9ECF3-5A53-4BC5-B0F3-340A5B0681ED","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":"Q6584074$29DDE170-52F6-4258-A925-1B998431373A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26bce876b2aaa1bc57358525e082c36296c93d18","datavalue":{"value":"10.4230/LIPICS.MFCS.2022.70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584074$A1D88BF9-B715-43CD-ACDA-96FAA910A99B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584074"}}}}}