{"entities":{"Q5350345":{"pageid":7379919,"ns":120,"title":"Item:Q5350345","lastrevid":52887257,"modified":"2026-01-23T17:45:30Z","type":"item","id":"Q5350345","labels":{"en":{"language":"en","value":"Deciding theoremhood in fibered logics without shared connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6766472"}},"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":"Q5350345$D58940B4-4F9A-4A4D-8979-7C08B7915833","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21f7d9774baf09401883b0ad2710936c41159f92","datavalue":{"value":{"text":"Deciding Theoremhood in Fibred Logics Without Shared Connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5350345$2195530A-7F71-4397-8018-BACCD5608E89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31f6e1576050c5eec5ee79402871b7bf06f7666f","datavalue":{"value":"1376.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$9C317809-D21B-4CFD-99F1-39E01BD0FE86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe23d4c16781eedd6bb7393f9eb7130a495bea0","datavalue":{"value":"10.1007/978-3-319-15368-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$0BE8E9B6-568E-4DDC-81C9-34554921EC39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$28ED3E79-3604-49B0-9301-046CE5F6F4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc05f4209e964e04be06b54604f221ec49e29ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2254551,"id":"Q2254551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$B3124818-5CDF-4056-99CD-2EB27CA00B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$2B0F4943-28F3-44C9-A57F-45F06380C0B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$EC64A296-68D4-453E-993E-216A2189B27E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfa483fd7326164e5b02d47e6ff7e6718ca29594","datavalue":{"value":{"time":"+2017-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5350345$33D8909E-99C3-4CC1-8B9E-2BB487ED2C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$32D524A5-22B7-48A4-B29D-F0D4C9C37CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$B6E5FBE1-F406-48A7-A975-C817CE2C5671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$3123DBEF-A638-443A-A07E-4BD4CECA1822","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e287b8f9203dec777744f7a39d02eca541b79d","datavalue":{"value":"6766472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$25ED93F0-E9B1-4459-87CB-10EC0BF6DB90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d5e82ca5d1fa5d16e203c6d55c0cd1ef524df","datavalue":{"value":"combined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350345$475B80B8-57A6-406B-A76D-DE29CECAEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84ab060c6ae53f675d08da47bb4f7d84a9f1bed","datavalue":{"value":"fibring theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350345$852AAA52-FC35-4823-832A-906093266637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350345$EFC07FE7-9256-4693-BF16-7A12FE83BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350345$FC19EF10-1F63-483E-BA05-C3BD62A104FF","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":"Q5350345$AA24AF6E-A750-413B-B66C-E46CD18221F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50eb7b6f241b9aa0bfee2ebc4950cb8b8d1665be","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15368-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5350345$AA41B4BC-49C0-4919-BDE8-078DCAB8C420","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9457ec4fe74fdfed7045dc0481760abd7e01b955","datavalue":{"value":"W1012350796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350345$2FAFD408-3E95-409A-87B5-A60498611C17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7883091086d33ecaeead78348369cc1fe290de5","datavalue":{"value":{"entity-type":"item","numeric-id":3838804,"id":"Q3838804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$4228715F-D2E7-46DB-8E44-9D687E4751F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6066f9d9a2b328268627a45f008b61ac831d6a","datavalue":{"value":{"entity-type":"item","numeric-id":3011323,"id":"Q3011323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$7BE7CEE7-FCDE-4362-82EE-301396E114DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb5430564e11943bd063024a46d08c198d08184","datavalue":{"value":{"entity-type":"item","numeric-id":3525005,"id":"Q3525005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$AFC565E8-8C13-4E4A-8214-A17859780F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a915b5a1214febbd17816c6669cea8d266e165","datavalue":{"value":{"entity-type":"item","numeric-id":874748,"id":"Q874748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$3E0E10EF-8E57-4FF6-ACB0-63C53A237726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6e210e40bc184a8072304465cfc14f6d169407","datavalue":{"value":{"entity-type":"item","numeric-id":5416169,"id":"Q5416169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$A611A54A-595E-4332-B40E-C356255B3C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65052e69ffd5c3594dd70b3fcf84972030e57ce","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$FC716DE6-18A8-4311-9650-C03E0E263A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f55e7db2215b8253d4e63265623d46ec274517","datavalue":{"value":{"entity-type":"item","numeric-id":3006122,"id":"Q3006122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$296DD03D-A8A7-4189-8A7C-AEA686639CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356fc56efb50f08c99d5aa0116066168b772a02","datavalue":{"value":{"entity-type":"item","numeric-id":3128464,"id":"Q3128464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$0248C680-37BA-4EDD-846F-A17D454A1F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d50d6d29a3bfa40d26b9207dbc4abbebc1a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$FCD9DD3F-658E-4D7D-BC0F-68CDEEE56DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$F19E8685-5400-41EF-A647-A54A6CE0834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6378f20915991e9f9218b5d0c78fa888a1bd2bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4542941,"id":"Q4542941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$F6297B1A-5044-443E-968F-92A64D1E10B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8462cd38d13160180cee3227a98b69c13eba8c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$E9ECFAD5-0D7D-4DAA-A13C-53E7AC5D6623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce012b3d80d7f92d39a1a78898044a8c1667a7de","datavalue":{"value":{"entity-type":"item","numeric-id":4451732,"id":"Q4451732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$8979B9E0-1BC5-4C1D-B171-9F684A10B378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$A54534DF-9AE4-471B-B67F-A5E1B5A2B1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4c5bda95e4c014606db79a6fe5f8ed9162fb15","datavalue":{"value":{"entity-type":"item","numeric-id":2732291,"id":"Q2732291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350345$FDC54984-EE04-4A4E-8D11-1EB5CA278A76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f58f3a204f2f06d5cd5228845e4e3703933d79","datavalue":{"value":{"entity-type":"item","numeric-id":4644566,"id":"Q4644566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657e9326e3d27d6189389de6bc23d0fd2cb9f3c1","datavalue":{"value":{"amount":"+0.9413557052612304","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":"Q5350345$DFB92F9E-14C3-483A-82D0-549D466A9B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6637e1cbb3b73d50b283d701db38689f09e8e03","datavalue":{"value":{"entity-type":"item","numeric-id":3133188,"id":"Q3133188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e72484de6c3e2e19b8950718ef2c70b0d5424b","datavalue":{"value":{"amount":"+0.7891191840171814","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":"Q5350345$A76BC76E-9704-481F-BB6F-E5885384DF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5672d33c061e5f43cfb747fb0b9b10a17ff07166","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc2609bed8bcda9dd9068658e773ebfb0a5b7a4","datavalue":{"value":{"amount":"+0.7639402747154236","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":"Q5350345$8C3F8240-1199-47A0-97FC-31533451BEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8b4edd157c291ffb92e6552045e153481a845","datavalue":{"value":{"entity-type":"item","numeric-id":4385435,"id":"Q4385435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffd4a5baa49222e6095ef9a3d7412537682a097","datavalue":{"value":{"amount":"+0.7517975568771362","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":"Q5350345$F8831FF7-BB5A-44EA-B5D4-FAE8D240B686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffd4a5baa49222e6095ef9a3d7412537682a097","datavalue":{"value":{"amount":"+0.7517975568771362","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":"Q5350345$818331FA-DA7F-4C8C-8E30-204C78C3F044","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5350345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5350345"}}}}}