{"entities":{"Q3137743":{"pageid":3148459,"ns":120,"title":"Item:Q3137743","lastrevid":45532900,"modified":"2025-12-10T08:00:54Z","type":"item","id":"Q3137743","labels":{"en":{"language":"en","value":"Duality and definability in first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 428714"}},"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":"Q3137743$2E1969BD-36A2-4B5A-AF48-CFFC94A5E05E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e247ae6d2541f08a1eddbc05b751ddb27c3b65c","datavalue":{"value":{"text":"Duality and definability in first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3137743$F4420EE4-5673-4B54-87C3-0DBDFAABF75A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"794fdee9eab4f7ae5926cd460d203bd3418a4bce","datavalue":{"value":"0783.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$FEA12AEF-7348-47C3-91D8-021C206531DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137743$8339EA30-25E8-4A29-A85B-53638D001302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60c2b639ed933d9c3ab73b6b321aab5ff3dea7d5","datavalue":{"value":{"time":"+1993-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3137743$9B541991-42ED-42FE-8871-D725FD317A9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b320e1c79c8376e6dd20d7108aa840e24ace61a2","datavalue":{"value":"https://semanticscholar.org/paper/a728a203dfe8ce992c87237b4feec035529d805f","type":"string"},"datatype":"url"},"type":"statement","id":"Q3137743$2AB920F3-A362-48D4-8D8D-1F989A168E21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$77ABC1CD-1092-462A-8DC9-BEAB52744595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$5970B97D-D99A-4CE7-9683-66F6CA8A1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$CD775D5B-24E3-46B8-A7F5-AFC68384B7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$29E2FCBE-3EE0-4699-8A72-DBC6695E5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$D092365B-7609-47F2-B802-DA551CC79D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$61D7E2E5-DAF1-46C7-8F8C-FF2E34F686DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c8f871d9ad4ee14af3ea19b544d21d8281f584b","datavalue":{"value":"428714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$DF5BEC8C-D2E4-42C0-AFEE-75B25BFFC0A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$88CCA064-D096-448C-BCA2-9133B621A73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$450798CA-083D-4A4D-8ADD-95CCFB31719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$C4474900-E0CD-42FE-BEA1-6A73942B8DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d785403b353c8a1c43bed2982bbd8bb85ca825a9","datavalue":{"value":"category of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$D1296202-5EE9-494A-B9CD-84DA64E3A8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"462e0d6125b64173a61c8e4de660fea99ccd84c4","datavalue":{"value":"factorizations in 2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$2C6444A8-1F61-4158-B41D-1F058B3B5FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fdb32aa8a0add456168dba795506422f427601","datavalue":{"value":"definable functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$B3A589E1-258D-42DC-983D-C2A03D1C5096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da9d2e07f916bd761986bb47d7cc88e1b8f8c13","datavalue":{"value":"Beth's theorem for propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$E134144D-E391-409D-85EA-68C18D715FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$293F539A-A25B-48AC-AA81-4FB6ABB20B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36b5ebdb0144ff0479d4644f5acd4ca0ecbe8a5e","datavalue":{"value":"Stone-type adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$B1F36E85-E31C-401B-9F8F-6BD685AFC198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b615a6e9fe25dd47a4e71f867e5e60cae1e2a2cd","datavalue":{"value":"Boolean pretoposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$EA1C63D0-CD80-420A-BA67-4FEBA7B60979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d52ef1baf727938bf3becea3fbb75eb91f2c7e5","datavalue":{"value":"ultragroupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$81130214-1611-4532-B580-A229791C978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc7dad30f67ca78d98831ab84b14bba7781850f","datavalue":{"value":"ultramorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$F3095294-091F-49E5-940F-6A7BEF2F065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7fe16e65ca6ef21a2f2746e848295c2601b3335","datavalue":{"value":"functor specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$451625AC-5A20-4242-8BAA-A6978C63FB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e67dce8163e922237e80f1981b8bdddf358fa1","datavalue":{"value":"descent theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137743$271AFA1A-D699-4B16-8322-D6CBD0687E79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0220c04bb79bb914bbfd44951b8c758a185607b1","datavalue":{"value":"Q56551496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$4013BB86-DCA2-4B58-A07D-B9FA265C3C31","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":"Q3137743$13E0F17A-0795-4260-B1C7-590D4D43289D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df6f0d7790e2d6409771fa0f68ff733642bddeb9","datavalue":{"value":"W2128215173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$6EC56036-4C62-4325-8FCF-277F8E261A86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94219f76b218b492107e7ad705465780d1aa5ee7","datavalue":{"value":"10.1090/MEMO/0503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137743$20D01833-4ECC-41B9-AC11-E2B8BA60FDB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6887b2158b9da9fdbf9a9d10e7d10f6443c66935","datavalue":{"value":{"entity-type":"item","numeric-id":4212908,"id":"Q4212908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e1b6c1a17fe0156e46438400ae99c9959d2361","datavalue":{"value":{"amount":"+0.8604815","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":"Q3137743$13F66D72-EE41-4C62-9CB9-B2F6626CA2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c23967f7e10423ff6abc7ccd639c795508c687","datavalue":{"value":{"entity-type":"item","numeric-id":5184905,"id":"Q5184905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2465caf6eb4daaf6f7beca4e1a3124d08576b1e","datavalue":{"value":{"amount":"+0.7919871","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":"Q3137743$EC0375A3-FD32-4751-9FA8-CDD436600211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7262ecb2e088ffd4b8c974036562610a025f0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":3705457,"id":"Q3705457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e87869ecfa7a89579948bc807fb20e35386bf35","datavalue":{"value":{"amount":"+0.73926425","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":"Q3137743$2EAB8556-49F8-4AE1-9356-4D846B20C8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d2601f2a687ae1d279514dfbf8f168e27a265a","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b382f9f722379ee93f8505dca38afa52609952ec","datavalue":{"value":{"amount":"+0.7352009","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":"Q3137743$BB30B9F7-946F-49F6-AE76-B297313F1CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c72cdd236b3946ae58bd568e48a8c194d0aa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1105598,"id":"Q1105598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a924c5920d10c4e8857a700cb0e7ddc92650f137","datavalue":{"value":{"amount":"+0.73388076","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":"Q3137743$6B3F447C-94DA-4495-A23E-1965B52988BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed19cb37c4fef9badb56fb21ea664c21c9e4eaf4","datavalue":{"value":{"entity-type":"item","numeric-id":1818641,"id":"Q1818641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5719273f4f1b5477b7e32554a629b37ef549c8","datavalue":{"value":{"amount":"+0.6973658","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":"Q3137743$71C70DD5-A058-48DA-B162-F4E9CC6D05A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597fc7020d56f376dcc713622ba74f1df385407f","datavalue":{"value":{"entity-type":"item","numeric-id":4858821,"id":"Q4858821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e0ff90a2ebb9e7a157665b6e77fc9312aa2de7","datavalue":{"value":{"amount":"+0.69291955","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":"Q3137743$7D0C4C12-635F-40C8-8C27-9D9247EC2B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab78742e4bc6a4a1a32b3fe81918d5b17086d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3677918,"id":"Q3677918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba8c3141e2438bedfe7cd61b19d6e20d015b8fb","datavalue":{"value":{"amount":"+0.68965036","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":"Q3137743$E91DC7CB-235E-4769-8049-DA24FADB9D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e289fa5394e2668f2efdaed25d2cf764b904498d","datavalue":{"value":{"entity-type":"item","numeric-id":3067439,"id":"Q3067439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39dd6fc6081c871cb3c700b2616d68539477c0cb","datavalue":{"value":{"amount":"+0.68963176","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":"Q3137743$8C257D18-ACF3-4273-A2AD-79C05350FC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490a5062c925818ee260c698494a932c985333e9","datavalue":{"value":{"entity-type":"item","numeric-id":3753095,"id":"Q3753095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cfc1548f4fea06495524d410c928fca415b160","datavalue":{"value":{"amount":"+0.6855711","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":"Q3137743$F08ED392-AD5E-4D5E-85AE-BBD912B03CBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e579ff2efacb42b9d38f2f0e1af9f50e1a4fd27","datavalue":{"value":{"entity-type":"item","numeric-id":3299492,"id":"Q3299492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137743$A0021E1F-339E-4DA8-95A9-2D2890B62663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3137743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3137743"}}}}}