{"entities":{"Q3322083":{"pageid":3332791,"ns":120,"title":"Item:Q3322083","lastrevid":45956872,"modified":"2025-12-20T23:26:30Z","type":"item","id":"Q3322083","labels":{"en":{"language":"en","value":"Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853052"}},"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":"Q3322083$1D7F2241-62B0-465F-8DAC-2BF96CD4C863","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda86c020739ff99f7b323dadec469e6b2458f96","datavalue":{"value":{"text":"Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3322083$B80424A7-C0E9-4CB3-B4ED-FC70F3B68BE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bafa6c986f181bdb1255d4abb3e265dd577c7d03","datavalue":{"value":"0537.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322083$49BDDD38-1505-4260-A263-8CEF06E9EEED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3159cf4e0626263d607233c66b6f7065292a8c8a","datavalue":{"value":"10.2307/2273679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322083$1B7BDC9A-E950-4AD4-ACEF-21D98A37FCC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec2ea7c0917c71fa16fcbeee26360dc1f34f4efa","datavalue":{"value":{"entity-type":"item","numeric-id":1196199,"id":"Q1196199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322083$9A385C07-77A9-41B4-87CB-CE17166B3304","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322083$248264B3-F3CC-4ABC-A38F-D9AEC605725C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3322083$E8294794-D3D7-470C-A028-AD83561B7BFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322083$AA0F1168-626F-4C31-8C9F-3C493ACDCCF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46b203277fa97fd2a6b8db47f25f08996d82d47c","datavalue":{"value":"3853052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322083$D5A1640D-268A-462F-BDF4-3D018FA183B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f50ca6dfcbf88664c52e98869ffc1a78aec9b4ce","datavalue":{"value":"Magidor-Malitz quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322083$08AB92A5-C186-4573-BDC2-4F89314860D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"635742415fc03bfaa93c02c930362e37ecac76af","datavalue":{"value":"transfer theorem for satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322083$8020832D-ABE0-43C0-8707-8B12B8284D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322083$7470EA7B-DED8-4FDA-B0E1-3A1CE6831D5C","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":"Q3322083$1761A297-201B-4FD5-BE46-2271511A5001","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9c65447a71ab4bbafb33da790bd6331ce5c7287","datavalue":{"value":"https://doi.org/10.2307/2273679","type":"string"},"datatype":"url"},"type":"statement","id":"Q3322083$10BF1962-6454-4057-8984-B8004C294164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afff59d345ddd72215da6bf31f9222b86dfb79a6","datavalue":{"value":"W2162287948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322083$7613BA48-C1E2-4416-B2D2-A12C421E93A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322083$AE17C13D-2128-4BB3-9FB9-0AB2E43949D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd666e56d66c9869bdea00ab303cace663e6937","datavalue":{"value":{"entity-type":"item","numeric-id":3981457,"id":"Q3981457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5306ea8153cbb728c52af0d09335bb5bfa5cef2a","datavalue":{"value":{"amount":"+0.79061013","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":"Q3322083$7F076F81-B78D-4219-B867-C86F3B4B6EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d0f99d45ae0f01d257a6db0063b39d56abcffc","datavalue":{"value":{"entity-type":"item","numeric-id":3322084,"id":"Q3322084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bec2d8083deb748595ca826d10ac440744cbc83","datavalue":{"value":{"amount":"+0.7255015","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":"Q3322083$284E1EE0-A7F9-4017-A020-26E20B72E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9113990c792cd782d7a42bb5390ff5445e205915","datavalue":{"value":{"entity-type":"item","numeric-id":3720575,"id":"Q3720575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87c640cb1ea35fe660210b264382989f0d55019","datavalue":{"value":{"amount":"+0.72275937","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":"Q3322083$D53871B2-E0D8-4B40-ABB3-E3281C646BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b840c55a5c655a6e0176fc56045a5b38e223516","datavalue":{"value":{"entity-type":"item","numeric-id":1177671,"id":"Q1177671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9776b618deac8d4a14f6656b7392c5ab181f3ec","datavalue":{"value":{"amount":"+0.70305663","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":"Q3322083$3AF28AA9-E262-4E6C-85B4-4D9829061C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06ac09d594726c36e698b1d1d97d109d79f3a3a","datavalue":{"value":{"entity-type":"item","numeric-id":1935865,"id":"Q1935865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7795fab1e5b5b979b18588cc9cdad8330b7bf32","datavalue":{"value":{"amount":"+0.70283544","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":"Q3322083$E45BE129-31A7-4D21-A4FA-3FD6FCF81B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251260806abc0f300ec5771aaca2ad69d4754335","datavalue":{"value":{"entity-type":"item","numeric-id":4288806,"id":"Q4288806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef16535817222d3e735bcefe0afe8a9df11d7e25","datavalue":{"value":{"amount":"+0.7012814","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":"Q3322083$00A5310C-A6DE-4018-832A-F1841791B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5fdef3e0d07467c8b13ad57cee78b38cc0fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":796519,"id":"Q796519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d700a09698c85a8d67a8f5097304f48e00485315","datavalue":{"value":{"amount":"+0.6987217","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":"Q3322083$7AC962B7-FAF8-4D6D-93FC-6ED05A263920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7446421eff2eed465b5677fa676bc58f3a4660","datavalue":{"value":{"entity-type":"item","numeric-id":3812215,"id":"Q3812215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886e1c6ea8e15fec6901b5f83acf2a8dfdf12c0a","datavalue":{"value":{"amount":"+0.6986754","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":"Q3322083$A52C421A-1DF5-455D-B0C5-490B8D9B10B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e59cc7e5c1d310f7a96f45c2e433975f23ef310","datavalue":{"value":{"entity-type":"item","numeric-id":2130530,"id":"Q2130530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4d04f3dfc5fb43ff1ecef1734c6294d37135b8","datavalue":{"value":{"amount":"+0.6968614","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":"Q3322083$4987A2C4-2E07-431E-B757-D61D3E18850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f5e0d3a62ea08a22a6b19462c19c1c9a7af703","datavalue":{"value":{"entity-type":"item","numeric-id":1203767,"id":"Q1203767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5323bd24980492bd554e855075eeb87551fe93e1","datavalue":{"value":{"amount":"+0.69369847","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":"Q3322083$1C91E784-81C4-40BB-81E6-E109144F9EAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3322083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3322083"}}}}}