{"entities":{"Q1085155":{"pageid":1095907,"ns":120,"title":"Item:Q1085155","lastrevid":66883848,"modified":"2026-04-12T13:30:31Z","type":"item","id":"Q1085155","labels":{"en":{"language":"en","value":"Forking, normalization and canonical bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981157"}},"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":"Q1085155$5F569B40-B12D-4625-A93F-71A8BF75EBFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac1f8f765ae630a7996a17de0885b54b2e00363","datavalue":{"value":{"text":"Forking, normalization and canonical bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085155$3E3766DD-B5E1-4436-B7C1-4381D403F695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f48c84455f352e8fbd0a157c4edf97a93b1b03c6","datavalue":{"value":"0607.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085155$EC3D9C2E-C683-46C2-AD00-B00CB1A454FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a87798b2da4082f3dda4c854865d1d2469b72182","datavalue":{"value":"10.1016/0168-0072(86)90044-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085155$45BA9B98-76B8-449F-92B2-63091B2B5EB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$A4F71F95-DADA-498E-ABBD-DEF4279424AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1085155$98AD8B1D-313E-4694-BF7B-FC318FB57016","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92693ba8e458ab668c9d25d9cd1676e1d00f17fa","datavalue":{"value":"The paper has two main points. Firstly, it is shown that all the theory of forking can be developed in a possibly unstable theory, but with respect to any Booleanly closed set of stable formulas. A crucial point is the following. Let X be a stable definable set (i.e. X is defined by \\(\\vartheta(\\bar x,\\bar a)\\) where \\(\\vartheta(\\bar x,\\bar y)\\) does not have the order property); then we have the following characterization- definition: X does not fork over A if some positive Boolean combination of A-conjugates of X is nonempty and A-definable.    Secondly, the notion of a canonical base of a family of types is introduced, and necessary and sufficient conditions are given for suitable families to have canonical bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085155$B73AC512-E16B-4453-896B-5F15D51AB6F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085155$11B323A6-8124-4D05-AC94-9C093869F622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b603cef7cb0ac84a32dfeb42b8d4b0de23510a7f","datavalue":{"value":"3981157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085155$CAFB7577-ABD2-4AD9-847F-610EDF18BA84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085155$E49C8DF5-F5AD-402E-BC02-40F983428702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee2e30d0d331e850b49749a7c80af4461a558f8","datavalue":{"value":"unstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085155$1551A445-4859-4A52-B542-208131A5EB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da828078f91da1fc7670c7019aa273573f726269","datavalue":{"value":"Booleanly closed set of stable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085155$FCDFDE19-6929-4882-A005-34141E385AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cec03c3b326523c5eac859fc445627603ae53bc","datavalue":{"value":"canonical base of a family of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085155$82629391-9AD5-49F5-A406-74AACA6875FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$AF127105-54BF-48F2-B1BA-E4350C6FE255","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":"Q1085155$85F40DBD-F86D-4864-B445-3F4CEABCC0D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bf1e5b534f04243301d71cb5c5a178ee051cf43","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90044-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1085155$ABE056E7-BE69-4CEC-ADAB-0213E63614F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51f2ac200b05ce85e7bc23198d15dd5d3467d3e4","datavalue":{"value":"W2033237236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085155$1E1C640C-AE1F-4910-8800-1D77CFC5A991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81af995ef3b662579981193f1476553be4f5357","datavalue":{"value":{"entity-type":"item","numeric-id":1059068,"id":"Q1059068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$FCFEA2EB-51B8-41A7-888B-6395DB795E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de4c9f12afce50a16fd191f9f6fd7402e2f3e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1074574,"id":"Q1074574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$D08F90C2-9229-45BA-B1C8-E18283F7AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97bfd0f750267b16a2c2a0b40864cb44134473d","datavalue":{"value":{"entity-type":"item","numeric-id":4770394,"id":"Q4770394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$1BE3B033-CC08-420A-8A32-6401A4E48FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7358e709accd976b1dddd3d15df66f55546a3f62","datavalue":{"value":{"entity-type":"item","numeric-id":1225615,"id":"Q1225615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$F3A07615-A24E-45EB-97A7-2FB0116E41A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5784e330e314d12460a880d71a4d7dc851b1702","datavalue":{"value":{"entity-type":"item","numeric-id":3858245,"id":"Q3858245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$58A04F0D-6CBC-40C7-AD1C-C6237EE6B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e150212d654bccc028ca901294dffd6a607ea","datavalue":{"value":{"entity-type":"item","numeric-id":1069927,"id":"Q1069927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$98B3B3ED-F17C-400E-943D-EE509805F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef407998fb8e0ad5e496b69623f8818fd9f6c95","datavalue":{"value":{"entity-type":"item","numeric-id":3041166,"id":"Q3041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$1826FF2D-CB0E-48F8-B81D-F7308809AF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e376751012062212bac2f2a7fee07c09930b34a5","datavalue":{"value":{"entity-type":"item","numeric-id":4748131,"id":"Q4748131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$045926C4-4B36-48B4-BBCA-22DD747FB180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b080c6a50c1e5992e94e151f6871b2f1f91e300","datavalue":{"value":{"entity-type":"item","numeric-id":3313848,"id":"Q3313848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$03AB21E2-7F10-47A1-ADD6-7506C7D5EE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$636DB752-5C9A-4567-B4CC-2A3D60607683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364c1317b945797a63ea4cd97c1e97b40f348dba","datavalue":{"value":{"entity-type":"item","numeric-id":3762298,"id":"Q3762298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085155$F59B8CFC-F908-4442-93E4-F3E846062CDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1c5aa3d41f49ad6a3effa33465d13c6ac94b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3789537,"id":"Q3789537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43586488fa1a851b5096608197fa76d85ddd2018","datavalue":{"value":{"amount":"+0.8876357","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":"Q1085155$8028BCBC-DE8A-4F13-A5B1-20934054E2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce8b304308457bae87827f45e2d53df0bf7921f","datavalue":{"value":{"entity-type":"item","numeric-id":3313848,"id":"Q3313848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dc66ab97279647acb8672b1af4bcb6e43fbfc5","datavalue":{"value":{"amount":"+0.84336877","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":"Q1085155$16FF7FD5-AB71-4072-A151-86055C9D4BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304833c1e3f9a4c3e4f80a376c8a5c2ad809bc90","datavalue":{"value":{"entity-type":"item","numeric-id":4248265,"id":"Q4248265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bd65d1a1389c41b92c2cb4fa5e8e5a7499a8f2","datavalue":{"value":{"amount":"+0.8324138","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":"Q1085155$A8426686-0C35-4B7F-89E5-060941E92B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ec5ea01cc7aeb99bb05383a2290bca54e3c0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2354623,"id":"Q2354623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b643b8deeb1efc67586baec574f7638bb73055","datavalue":{"value":{"amount":"+0.82788116","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":"Q1085155$9709F28D-C974-4B04-8D13-56EFD939F4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c5c6b483b440fae8ea8495aadf5e74756eea23","datavalue":{"value":{"entity-type":"item","numeric-id":3469198,"id":"Q3469198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a1c7d116e67ddad33619b6e0c4318aa395d1ca","datavalue":{"value":{"amount":"+0.82489365","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":"Q1085155$34B39F54-7D42-4D0E-A67A-328AFCF709F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611ec8dfe28448c8782a2f0980c91ef9b1b6515f","datavalue":{"value":{"entity-type":"item","numeric-id":733361,"id":"Q733361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebac9b36e31edbf8bce3e0d7cc8b080d2ced57a","datavalue":{"value":{"amount":"+0.82196325","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":"Q1085155$02E7627B-B2AA-4E9D-A022-236EF9F2A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5736924590e98f3026093da0f32211427866b97c","datavalue":{"value":{"entity-type":"item","numeric-id":3659836,"id":"Q3659836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5c679457d4ec181ee24d3936c5c97c00daf2bd","datavalue":{"value":{"amount":"+0.8204106","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":"Q1085155$6CCF1085-1FC6-4587-B54E-984606286A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c90f3217f7ebcb5ef89280170a273a96f7189f8","datavalue":{"value":{"entity-type":"item","numeric-id":6043517,"id":"Q6043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bca2f6c5c4417f352c81f415cee029f4989057","datavalue":{"value":{"amount":"+0.8196414","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":"Q1085155$DBCBAFB7-2141-40E6-9B90-403A32D6474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649cc7ad35edde73caa8ed04fcc0e1beb231f8ed","datavalue":{"value":{"entity-type":"item","numeric-id":1407602,"id":"Q1407602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84b3dab9b8f4178ab02da863cc70ec6c0d2df98","datavalue":{"value":{"amount":"+0.81750625","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":"Q1085155$0EF926F6-4857-4BFB-913C-CC916BA2CD86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forking, normalization and canonical bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forking,_normalization_and_canonical_bases"}}}}}