{"entities":{"Q4644566":{"pageid":6674147,"ns":120,"title":"Item:Q4644566","lastrevid":41126426,"modified":"2025-04-18T09:49:21Z","type":"item","id":"Q4644566","labels":{"en":{"language":"en","value":"Decidability and complexity of fibred logics without shared connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997977"}},"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":"Q4644566$BB953C9F-2259-482E-A99F-10B71547184A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6599503eb08dfa8433eb9c923070c8af0758f083","datavalue":{"value":{"text":"Decidability and complexity of fibred logics without shared connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644566$8F6D02DB-37A5-49E7-951F-841B891F5FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"514d82bfd2d7888b29762b117f44aacade424df8","datavalue":{"value":"1405.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644566$132689A0-833E-40EB-9328-F837A0F97CE6","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":"Q4644566$5B352D6C-6D1C-4E39-B761-CD9425EC40E4","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":"Q4644566$B347CF6C-0F66-4F49-A410-445E1C4B7F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644566$E97A795D-A52C-478B-8645-45030B52774B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5707c28b0393e052b7c955bd297d9a8e9c1a9c87","datavalue":{"value":"https://semanticscholar.org/paper/a61b6d2e2befb5c20bd1d57def374da93fe3907e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644566$3998D7D0-B20A-4283-A1A6-3B71F8D1951A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644566$285EFA07-24C6-4243-8D5C-1B0840A77FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644566$81E9CDBB-DE02-45EF-908D-E3E732BA388C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b503f2ed40a14211626cd9bd4959225a633ff2a","datavalue":{"value":"6997977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644566$DF8886C2-CF4F-4D45-933D-A8A10E42BCA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a6d41cfe44fa2b88623d46b9409f9039212634","datavalue":{"value":"fibred logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644566$0D9CF758-05BC-4091-834B-A49E2760432B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bdf3d4afed1d9d95dacdb580e1a2d71b2bfad4","datavalue":{"value":"disjoint fibring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644566$DBC640F6-505E-4A52-B171-9C1257BABB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a335bf02d8f9ee8c4deaef7acb6d996ac9ed9b","datavalue":{"value":"decidability preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644566$7BFC0287-FBBF-42C6-9140-C7A26FC663B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644566$BBB35D73-ED2E-4F68-B849-29C0304D9DCF","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":"Q4644566$61591420-5BE3-4B05-A035-E53DD261D9F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a0ddc6696201913836026f58996d75f7b584888","datavalue":{"value":"W2468126247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644566$FDE13325-7C91-4CC9-A6DE-99BBA9530D20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f7d4550d9438b8e24ac8e4f24d7023f9c5254da","datavalue":{"value":"10.1093/JIGPAL/JZW033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644566$FF26E0BB-E791-486D-940A-B87D040C208B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57738ddae13b6ae41366819cecfe4337a168f8","datavalue":{"value":{"entity-type":"item","numeric-id":5350345,"id":"Q5350345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45478835e4b91d67cab208ce677a3433ec419b97","datavalue":{"value":{"amount":"+0.94946593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$08F6F220-6790-4E50-8102-978CC7BA632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef08a63502b114ebc3bcd451cb77370650f708b1","datavalue":{"value":{"entity-type":"item","numeric-id":3656775,"id":"Q3656775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2745d5ab3b58badf78a23733a6a22f345647f72","datavalue":{"value":{"amount":"+0.8738076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$ACEB013C-992D-4475-86C1-DE443F46B478","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":"947dfd81a40f0dd65aa7d5a4fb8ad2cf0b7dfdd7","datavalue":{"value":{"amount":"+0.8660376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$345DB44E-18B4-4FDA-944E-0BD59951E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0973cc67e993bc723399032f95e256adebdcfb78","datavalue":{"value":{"entity-type":"item","numeric-id":905999,"id":"Q905999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d370d36718b0340558765ae9243730ee5f1f2a","datavalue":{"value":{"amount":"+0.86511755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$85044E28-009D-4F22-9CB8-D2534E81996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0e949ef861207124bf0a64f935cdf7909bc2e8","datavalue":{"value":{"entity-type":"item","numeric-id":1956380,"id":"Q1956380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e696834c05ba3ac1fa4209122f3c1faae1c98127","datavalue":{"value":{"amount":"+0.86052763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$2E9C1933-EC56-4F7D-8092-26907FC32D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f65ae3f46b9b5f56f2a19ba9a6f9f7c3de8362d","datavalue":{"value":{"entity-type":"item","numeric-id":630293,"id":"Q630293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a240377a5a0b8b86baeb5e83c59307da2d4717a9","datavalue":{"value":{"amount":"+0.8574269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$6DDF4295-B887-460A-9C12-7CA8330F2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c459107829a76634ae424b7a53674668de3a6ce2","datavalue":{"value":{"entity-type":"item","numeric-id":2326414,"id":"Q2326414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d583566757e4b62c57d77b825fcdb4cc814d202","datavalue":{"value":{"amount":"+0.8573847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$D8F4A342-3695-4D78-A9F1-6FE3A00D404B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c282d2e06edadb860c32e94e0a6139e7f24a5f","datavalue":{"value":{"entity-type":"item","numeric-id":6161426,"id":"Q6161426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b233f5c6cc8a2011fa90531020c4c6fe6764ad1","datavalue":{"value":{"amount":"+0.856107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$866A2BEF-AEBB-4B93-A0DB-D3B263486F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b920dd8ca114437ff0655b65e7b582036b4d6c21","datavalue":{"value":{"entity-type":"item","numeric-id":3338210,"id":"Q3338210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca21723a3e407c283dd1253b376bb93e05fbe17","datavalue":{"value":{"amount":"+0.8552531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$B4CBE0B4-43AA-4F8F-8CAD-D37B4086ED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11cdc09b05fa6f665eaf452866ea710fc5e87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfde947ef200293555e82aee7d794f47f960aa6","datavalue":{"value":{"amount":"+0.85521334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644566$25B52920-79EC-4F90-9D28-406EE723D169","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644566$4386A3A9-B7B3-4674-A55C-460D1C807A09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644566"}}}}}