{"entities":{"Q5388719":{"pageid":7418293,"ns":120,"title":"Item:Q5388719","lastrevid":58544361,"modified":"2026-04-05T16:39:59Z","type":"item","id":"Q5388719","labels":{"en":{"language":"en","value":"Thorn-forking in continuous logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6025959"}},"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":"Q5388719$2EC00CB0-AFC7-4A34-A335-3823FEDFA31C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df03dc48fa22e77b1283b5822e5cc3828fd82ab0","datavalue":{"value":{"text":"Thorn-forking in continuous logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5388719$5B6D92D5-7BCB-4201-AA3E-55DACF37D615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17d9a006694999f3365d21c17eebb494cef2c86d","datavalue":{"value":"1257.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388719$C0EC8A80-E301-4991-9638-E9CE252281F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22f806ebcfcf07f41132b6c97c5adb9fc113e083","datavalue":{"value":{"time":"+2012-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5388719$2C9D489C-C51A-4956-BA28-7AA1C5C59E2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a57a97c8c8355b3580aa5573bc09e2f3a41577","datavalue":{"value":"https://arxiv.org/abs/0911.3446","type":"string"},"datatype":"url"},"type":"statement","id":"Q5388719$0AEE060B-DDE0-4E73-B9E1-EDDED9B8E878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02eaba43626121f72e6981cd94d546202436c4b5","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1327068692","type":"string"},"datatype":"url"},"type":"statement","id":"Q5388719$5149AE90-0D43-448C-BDBF-7CC5F74AC2CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388719$F2376879-B798-45BB-BC92-39492455B27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388719$8EA62F13-C006-4CC7-9AA3-DAE3414FDA4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fd99c0dad1cbd02a2c9a5204efcb2238a222e43","datavalue":{"value":"6025959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388719$5F6D1C40-5B4B-4CAF-967D-AA75A0C1AB7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcedfdfff8da6eed78d0ba38f14f58b7275d4d77","datavalue":{"value":"thorn-forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388719$33BCC069-8138-4DEC-B9F2-F77DCCB9F193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad86d68d773f8d926e408f2d63d749c470ecea01","datavalue":{"value":"rosiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388719$639C5C1B-18C3-4EEF-AC1A-372CC7002DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090007ad3e5a7ccfa4ace3ddab75b65020015969","datavalue":{"value":"continuous model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388719$82D6CB75-FE28-44FF-A30B-3A3B3BF4BC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388719$6560FE5C-BB97-4227-9787-078987470DE5","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":"Q5388719$0435793B-3C70-4909-ACCD-851679099D0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fea56371a26c07c6c5af3a8d01a50dc84049f21c","datavalue":{"value":"W2083064459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388719$312CC9F6-BC0A-4CC6-9402-45C6B91BCC79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0487db4ebe5ddb1e4d1c98152be23236f5480994","datavalue":{"value":{"entity-type":"item","numeric-id":3583036,"id":"Q3583036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$6D7BF78C-C675-4401-AC39-B0AB1959B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc2fce602f6eda1cfccf92d954eddb3d4a4e600","datavalue":{"value":{"entity-type":"item","numeric-id":4460752,"id":"Q4460752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$D9D3F8FC-AF02-4496-8DE8-F38643209384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0e47b187fbb5406150795de0ae095aa96c83cd","datavalue":{"value":{"entity-type":"item","numeric-id":2655764,"id":"Q2655764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$3273EC1D-26AD-442B-A3C2-6E73249A0BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$B767B212-2B7A-48B6-83C6-10C1D504C179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc8e7cec57eac13a2c82fb2d5cd8f82185bc046","datavalue":{"value":{"entity-type":"item","numeric-id":1041085,"id":"Q1041085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$A3C26D5E-503D-450D-9ED1-B1D855720B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$0CD64C11-93FA-473B-B404-F9D3CC908199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e520062da969dcaa5a4218a4d6ffab78f7f966ca","datavalue":{"value":{"entity-type":"item","numeric-id":3525395,"id":"Q3525395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$FD8D4267-DF17-4E31-B7C4-5C9CE9F887F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4086bed26ece6750ed38cadc6331b8ff12c68e","datavalue":{"value":{"entity-type":"item","numeric-id":5422310,"id":"Q5422310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$F8C1A0A6-065D-487A-801B-0CF0E13D9B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea706d9f3ccc0857aa738ed8e7ffb479d24eca0","datavalue":{"value":{"entity-type":"item","numeric-id":3527629,"id":"Q3527629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$4E87BF63-9273-4EC8-91BE-263720E7DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee03fb3b9fa03e0dae0445343af7572a8924e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":1288257,"id":"Q1288257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$B1B4D379-7D5B-459B-9EFF-7820AE9D30AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1645cc6c71d58d04d950eac91b3a00b8d03cda","datavalue":{"value":{"entity-type":"item","numeric-id":5306827,"id":"Q5306827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$9CF7049A-B8C4-44F3-AC07-B466935C6EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3599de328ec944d00c9596beb9caeefbe41c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5477621,"id":"Q5477621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$EEC8C666-39E1-4E26-BE9B-76905F4C2881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8185eca188dc0510335a7141f2c8a6536de87150","datavalue":{"value":{"entity-type":"item","numeric-id":935262,"id":"Q935262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$00BDC8AC-DCCF-43E9-A763-8E2C483FE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d61d1baef4674683cb34a9397ac3a549e4f1af2","datavalue":{"value":{"entity-type":"item","numeric-id":4950412,"id":"Q4950412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388719$8710583E-8634-4D1C-AFE5-C7A330987D57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"149d697e4f31b3a451a37bd56ee9b4ab8dd6adcc","datavalue":{"value":"10.2178/JSL/1327068692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388719$C7B00DC8-C7BF-4408-86E6-92F65DDA1E13","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":"Q5388719$7111815E-D8AF-4067-BC9F-1B80D4147416","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd836f440d8166d2eb814afb4b8984cc0a0123c4","datavalue":{"value":{"entity-type":"item","numeric-id":5477621,"id":"Q5477621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abab3dc9ccedd2a41cab2011fec3e25232ced75","datavalue":{"value":{"amount":"+0.7950971722602844","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":"Q5388719$2710D4A0-7E9D-4A8B-9A37-3913B4229BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2673a24afdc1a4fdfcad92b10a3e83eef56fe4ae","datavalue":{"value":{"entity-type":"item","numeric-id":888549,"id":"Q888549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65893a72e27d9010f729c8420875d0abb03625fd","datavalue":{"value":{"amount":"+0.7576843500137329","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":"Q5388719$F24DEBC7-03AA-45F6-8045-029904FFA6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8d787cad3fa4c8ef16a59edf8e14cb2d6d206d","datavalue":{"value":{"entity-type":"item","numeric-id":3583037,"id":"Q3583037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eac6ed55bcc0cb5fa1cee84ac49508a83b33ac6","datavalue":{"value":{"amount":"+0.7569938898086548","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":"Q5388719$4D954ABB-4A3B-4DDE-981B-F09D7D905D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7618553ad287da1a1e94e06c82697f995e2094ae","datavalue":{"value":{"entity-type":"item","numeric-id":5422310,"id":"Q5422310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f07f320cc7d2fcd3eb34dd759fbd94cdbb5394","datavalue":{"value":{"amount":"+0.7485156059265137","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":"Q5388719$1CAB2FCA-0CD0-4A20-B747-7D795A198DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3901a21536d1c9fd6e7fc8dbe74ddb7161d2c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":386624,"id":"Q386624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0c77e4f19d97d52c6cfa881eb423e7f5728261","datavalue":{"value":{"amount":"+0.7441468238830566","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":"Q5388719$EB30CDAF-EA21-49BE-9F71-63EED8E33A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5388719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5388719"}}}}}