{"entities":{"Q4928773":{"pageid":6958355,"ns":120,"title":"Item:Q4928773","lastrevid":58363434,"modified":"2026-04-04T21:42:43Z","type":"item","id":"Q4928773","labels":{"en":{"language":"en","value":"ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176642"}},"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":"Q4928773$180B550C-2E00-4ED8-84DB-3C65AA341614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40dbd998c99e21e6d6960c6109df00d7a6cbc5a3","datavalue":{"value":{"text":"ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928773$2F17CCCE-AECB-48E0-873D-1ABBED08F331","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"428ccae2237778840ebccfc4dafb41119cbbc2e4","datavalue":{"value":"1283.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928773$52D0018F-0B19-4B5B-8947-ABE5693D6597","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fb5215cd2e3c66d20e2b568c21aa2a1d3ae8a7f","datavalue":{"value":"10.1017/S175502031200038X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928773$8477A5A6-9549-4F07-B256-0377D11C39A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a2ca5508567b3a2a8e16076de81d82e5473f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1685905,"id":"Q1685905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$EC1F3B5C-1186-44A0-AC41-CBCEE32C2646","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$33598F19-FA3E-4C1F-8891-8E906DB04CBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4e9af00f855d7cecba7c55310c21ccc70c71050","datavalue":{"value":{"time":"+2013-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928773$CF7A3870-7C05-4E3A-826B-D726C099E0A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b11d1f261f68891a8a9f9e68f94aca64eb9435e","datavalue":{"value":"https://arxiv.org/abs/1205.2554","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928773$2402207E-6258-4960-9A15-6C7F79B4CD6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928773$90D7FCED-2380-4ED6-8487-2BA23169C795","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9528329959282586c2ed1eff288e81f545a98be5","datavalue":{"value":"6176642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928773$A7D9D4E2-7B10-4B06-A95A-9B70D07DD5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928773$9918E22B-E647-4F2A-AA88-1E2EBF34A54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6966a02d3e31773f9a8a85c2d48ea8c585589f","datavalue":{"value":"declarations of independence between existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928773$3F8BE9CA-DC52-4FC8-81AA-2069642D640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25d27094de8b6fcb1a05437abfc55952429dd0a","datavalue":{"value":"equilibrium semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928773$BB6209B6-C161-4418-803A-8221FC8F5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928773$EA4B78DB-0546-4811-9A77-4C14F6A8CD3F","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":"Q4928773$C91F2C6F-089E-4CEA-A4B6-60FCC01814BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"031ec94354ea9c860a7fd690105f756cd266ec32","datavalue":{"value":{"entity-type":"item","numeric-id":1610629,"id":"Q1610629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$8DCFC21F-E001-4A14-A369-502A1440BF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$3DEECC9D-3AF1-4EEA-BC35-AB55BA31A9E8","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":"Q4928773$840DD427-11ED-491F-827C-075BA01A8146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$81B431DD-9105-4EBB-BD27-7A73B47E9F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88baf93d313ff168792115fdd5ef3958ffd9e34a","datavalue":{"value":{"entity-type":"item","numeric-id":636301,"id":"Q636301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$84AA412D-9D43-4541-89D0-30C8C2D34E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac366ac97a9adbea83879d2f3a7c01ff6e55871","datavalue":{"value":{"entity-type":"item","numeric-id":1208148,"id":"Q1208148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$FFBCC072-6B26-4961-A6FC-572789C94606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65ca58e30c11d8abc7b7023fa7fe6b946ec2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928773$CD46EEA0-E793-4030-AC24-8A8941E87133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e86cc8654467d302340737219658ca46693d104","datavalue":{"value":"W2963573678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928773$47AEA56C-F164-4728-9B96-08B40056524B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e34df44a175f88f35d30cb148dd7fa454b45f29","datavalue":{"value":{"entity-type":"item","numeric-id":1610629,"id":"Q1610629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca6025a7ef9b84e3c90c3e813e62c2a80768799","datavalue":{"value":{"amount":"+0.859374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$8D18E820-6714-4663-888F-DF9B5FA2C645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498fcb5a5316986a56dab2c0981c08877f989420","datavalue":{"value":{"entity-type":"item","numeric-id":2541889,"id":"Q2541889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4408fda66daedf033d1f3322470863ee8be2face","datavalue":{"value":{"amount":"+0.85236067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$B3518374-7C89-41A6-B1B1-BBEE2DA85480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc32bbdfcdf2ad0acbf1f6f7252d0b7204f50f1","datavalue":{"value":{"entity-type":"item","numeric-id":5452027,"id":"Q5452027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508d9f7a827bcc7f18dad2de95b31e4dc79eba19","datavalue":{"value":{"amount":"+0.8495456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$990D57C4-8D87-4FBD-8B13-968641098DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fe9355bcbc89624dca604263b2de948e046815","datavalue":{"value":{"entity-type":"item","numeric-id":4636302,"id":"Q4636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9453ba31793d58c3b2b2cdd39521bc51f6a55482","datavalue":{"value":{"amount":"+0.84421045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$05E3B8BD-BC5C-4616-A27D-B41369F44B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bead712fa4ff659be1333143ef9a306746c1a2","datavalue":{"value":{"entity-type":"item","numeric-id":5311051,"id":"Q5311051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525ce911dd96977b2f41a34640916d9c4453ad19","datavalue":{"value":{"amount":"+0.8353178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$3F969701-8C0A-4704-84AF-8EF2B5540D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7927de452d0f527d42b9014ff1f5bf7e80b3f766","datavalue":{"value":{"entity-type":"item","numeric-id":3509069,"id":"Q3509069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a89aa7f85b63e1f6b11a5e261b966dba959cd9a","datavalue":{"value":{"amount":"+0.83406997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$ED30A493-0265-46E5-BF1B-A70D58590DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839c0e0d848974c41e8994dd87e5ca6d24aefcc1","datavalue":{"value":{"entity-type":"item","numeric-id":263104,"id":"Q263104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2025d5685471f5d49d76992728b8e48e09d4d85c","datavalue":{"value":{"amount":"+0.8327842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$9A3741B0-CDA5-478E-9B25-D16BB6127DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8335e9e94fb7c4bc580e10d7a14b4b7d786d3","datavalue":{"value":{"entity-type":"item","numeric-id":3133166,"id":"Q3133166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bdc947f74b12884665ba898337aff596c96f12","datavalue":{"value":{"amount":"+0.8322338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$1B9F544D-857D-4470-B3D4-FAF16B5B1093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bb0c5ab3cfc526c1734ec5de281127b19ed184","datavalue":{"value":{"entity-type":"item","numeric-id":6109609,"id":"Q6109609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5103cd9589df0c590422d8a5771b69d54bd37316","datavalue":{"value":{"amount":"+0.8311533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928773$81F5086D-8990-43E8-A3EF-5752FD69A102","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928773"}}}}}